{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"//"}]}
        // a `&self` method will wind up with an argument type like `&dyn Trait`.
        // instantiation that replaces `Self` with the object type itself. Hence,
        let trait_ref = principal.with_self_ty(self.tcx, self_ty);