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