{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":"ocx.eq(&ObligationCause::dummy_with_span(impl_span),"}]}
    ocx.eq(&ObligationCause::dummy_with_span(impl_span), adt_env, fresh_adt_ty, impl_adt_ty)
        .expect("equating fully generic trait ref should never fail");