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