no leak

Author: asukaminato0721

pyrefly/lib/alt/class/pydantic_lax.rs

@@ -170,10 +170,15 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
         if class_obj.has_toplevel_qname(ModuleName::from_str("re").as_str(), "Pattern")
             || class_obj.has_toplevel_qname(ModuleName::typing().as_str(), "Pattern")
         {
-            let pattern_input = targs
-                .first()
-                .cloned()
-                .unwrap_or_else(|| self.heap.mk_any_implicit());
+            let pattern_input = match targs.first() {
+                Some(Type::ClassType(cls)) if cls == self.stdlib.str() => {
+                    self.heap.mk_class_type(self.stdlib.str().clone())
+                }
+                Some(Type::ClassType(cls)) if cls == self.stdlib.bytes() => {
+                    self.heap.mk_class_type(self.stdlib.bytes().clone())
+                }
+                _ => return None,
+            };
             return Some(self.union(ty.clone(), pattern_input));
         }
         None