{"ast_node_type":"variable","tokens":[{"end":74,"kind":"keyword","start":0,"text":"let"}]}
            let principal_trait_ref = principal.with_self_ty(cx, self_ty);
        if let Some(principal) = bounds.principal() {
            for (idx, assumption) in elaborate::supertraits(cx, principal_trait_ref).enumerate() {