[ty] Ensure Literal types are considered assignable to anything their Instance supertypes are assignable to (#18351)

2025-09-30 13:51:16 +00:00 · 2025-06-01 16:39:56 +01:00 · 2025-06-01 16:39:56 +01:00 · 97b824db3e
commit 97b824db3e
parent 220ab88779
2 changed files with 14 additions and 0 deletions
--- a/crates/ty_python_semantic/src/types.rs
+++ b/crates/ty_python_semantic/src/types.rs
@ -1656,6 +1656,13 @@ impl<'db> Type<'db> {
                }
            }

+            _ if self
+                .literal_fallback_instance(db)
+                .is_some_and(|instance| instance.is_assignable_to(db, target)) =>
+            {
+                true
+            }
+
            (Type::ClassLiteral(class_literal), Type::Callable(_)) => {
                ClassType::NonGeneric(class_literal)
                    .into_callable(db)