{"ast_node_type":"import","tokens":[{"end":83,"kind":"keyword","start":0,"text":"//"}]}
            // We do not push the instantiated forms of goals as it would cause any
        if self.fcx.predicate_has_self_ty(goal.predicate, self.self_ty)
            // aliases referencing bound vars to go from having escaping bound vars to