Function test_generation::transitions::stack_satisfies_struct_signature

pub fn stack_satisfies_struct_signature(
    state: &AbstractState,
    struct_index: StructDefinitionIndex,
    instantiation: Option<SignatureIndex>
) -> (bool, Subst)

Determine whether the struct at the given index can be constructed from the values on the stack. Note that this function is bidirectional; if there is an instantiation, we check it. Otherwise, we infer the types that are needed.