Files

aditya pillai ed4a0b34ba [red-knot] don't include Unknown in the type for a conditionally-defined import (#13563 )

## Summary

Fixes the bug described in #13514 where an unbound public type defaulted
to the type or `Unknown`, whereas it should only be the type if unbound.

## Test Plan

Added a new test case

---------

Co-authored-by: Carl Meyer <carl@astral.sh>

2024-10-16 13:46:03 -07:00

352 B

Raw Blame History

Unbound

x = foo
foo = 1
reveal_type(x)  # revealed: Unbound

Unbound class variable

Name lookups within a class scope fall back to globals, but lookups of class attributes don't.

x = 1
class C:
    y = x
    if flag:
        x = 2

reveal_type(C.x) # revealed: Literal[2]
reveal_type(C.y) # revealed: Literal[1]

352 B Raw Blame History

Unbound

Unbound

Unbound class variable

352 B

Raw Blame History