{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"implied_wf_types.extend(ocx.normalize("}]}
    implied_wf_types.extend(ocx.normalize(
    implied_wf_types.extend(trait_m_sig.inputs_and_output);
        &ObligationCause::dummy(),