Use KnownModule

2024-12-20 09:38:24 +01:00
parent 03818856eb
commit 0d6425ae4e
1 changed files with 2 additions and 1 deletions
--- a/crates/red_knot_python_semantic/src/types.rs
+++ b/crates/red_knot_python_semantic/src/types.rs
@@ -138,7 +138,8 @@ fn symbol<'db>(db: &'db dyn Db, scope: ScopeId<'db>, name: &str) -> Symbol<'db>
        return Symbol::Type(Type::BooleanLiteral(true), Boundness::Bound);
    }
    if name == "platform"
-        && file_to_module(db, scope.file(db)).is_some_and(|module| module.name() == "sys")
+        && file_to_module(db, scope.file(db))
+            .is_some_and(|module| module.is_known(KnownModule::Sys))
    {
        match Program::get(db).python_platform(db) {
            crate::PythonPlatform::Identifier(platform) => {