Function test_generation::transitions::abilities_for_instantiation

pub fn abilities_for_instantiation(
    state: &AbstractState,
    instantiation: &[SignatureToken]
) -> Vec<AbilitySet> 

Given a locals signature index, determine the abilities for each signature token. Restricted for determining abilities at the top-level only. This is reflected in the use of state.instantiation[..] as the kind context.