ruff
[red-knot] don't include Unknown in the type for a conditionally-defined import
#13563
Merged
Merged
[red-knot] don't include Unknown in the type for a conditionally-defined import #13563
carljm
merged
19 commits into
astral-sh:main
from
pilleye:pilleye/public-known
pilleye
changed the title
pilleye
commented
on 2024-09-30
carljm
approved these changes
on 2024-09-30
use Never type instead of Unknown for unbound public types
4e6b1260
fix incorrect path
e35e30e6
add file diagnostic on never type
67326c6d
undo changes to may be unbound
bc43cdb6
simplify contains_unbound
f735c8b9
cargo fmt
35dd04a8
undo unbound to never changes in local tests
97476578
don't fallback to unknown type with declarations
df4041bd
Remove possibly-undefined-import diagnostic
510b78b4
remove contains_unbound
f73e2db5
fix test issues
7d66d107
clarify/simplify tests
4edf647c
attribute lookups also shouldn't return unions with unbound
5abfefa4
fix bug with union not being assignable to itself
888e4996
remove unneeded change to may_be_unbound
e9bf03e2
revert replace_type_with to replace_unbound_with
d7d3ab42
restore must_use annotation
a42f2fc8
port modified test to mdtest
7fdc95d4
also clear partial-unbound core symbols
a70741c1
Login to write a write a comment.
Reviewers
Assignees
No one assigned
Labels
ty
Milestone
No milestone