{"ast_node_type":"variable","tokens":[{"end":39,"kind":"keyword","start":0,"text":"let"}]}
        let goal = inspect_goal.goal();
        let tcx = self.fcx.tcx;
        if self.fcx.predicate_has_self_ty(goal.predicate, self.self_ty)