[ty] Check assignments to implicit global symbols are assignable to the types declared on `types.ModuleType`#18077

Merged

AlexWaygood merged 2 commits intomainfrom

alex/moduletype-declarations

May 13, 2025

Commits on May 13, 2025

[ty] Check assignments to implicit global symbols are assignable to the types declared on `types.ModuleType`
AlexWaygood
committed
add diagnostics for declarations that are not assignable to declarations on `types.ModuleType`
AlexWaygood
committed