diff --git a/crates/red_knot_python_semantic/src/types.rs b/crates/red_knot_python_semantic/src/types.rs index a96596330f..c1ce738c44 100644 --- 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) => {