{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"implied_wf_types.extend(trait_m_sig.inputs_and_output);"}]}
    implied_wf_types.extend(trait_m_sig.inputs_and_output);
    let mut implied_wf_types = FxIndexSet::default();
    implied_wf_types.extend(ocx.normalize(