{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"ObligationCause::new(impl_ty_span,"}]}
        ObligationCause::new(impl_ty_span, impl_ty_def_id, code)
        let code = ObligationCauseCode::WhereClause(trait_ty.def_id, span);
    };