diff --git a/crates/ty_python_semantic/resources/mdtest/binary/classes.md b/crates/ty_python_semantic/resources/mdtest/binary/classes.md index 7ae4c23e60..db42286c84 100644 --- a/crates/ty_python_semantic/resources/mdtest/binary/classes.md +++ b/crates/ty_python_semantic/resources/mdtest/binary/classes.md @@ -13,7 +13,7 @@ python-version = "3.10" class A: ... class B: ... -reveal_type(A | B) # revealed: UnionType +reveal_type(A | B) # revealed: types.UnionType ``` ## Union of two classes (prior to 3.10) @@ -43,14 +43,14 @@ class A: ... class B: ... def _(sub_a: type[A], sub_b: type[B]): - reveal_type(A | sub_b) # revealed: UnionType - reveal_type(sub_a | B) # revealed: UnionType - reveal_type(sub_a | sub_b) # revealed: UnionType + reveal_type(A | sub_b) # revealed: types.UnionType + reveal_type(sub_a | B) # revealed: types.UnionType + reveal_type(sub_a | sub_b) # revealed: types.UnionType class C[T]: ... class D[T]: ... -reveal_type(C | D) # revealed: UnionType +reveal_type(C | D) # revealed: types.UnionType -reveal_type(C[int] | D[str]) # revealed: UnionType +reveal_type(C[int] | D[str]) # revealed: types.UnionType ``` diff --git a/crates/ty_python_semantic/resources/mdtest/implicit_type_aliases.md b/crates/ty_python_semantic/resources/mdtest/implicit_type_aliases.md index 904921e7b3..a3e0319f5a 100644 --- a/crates/ty_python_semantic/resources/mdtest/implicit_type_aliases.md +++ b/crates/ty_python_semantic/resources/mdtest/implicit_type_aliases.md @@ -58,24 +58,24 @@ AnyOrNever = Any | Never UnknownOrInt = Unknown | int IntOrUnknown = int | Unknown -reveal_type(IntOrStr) # revealed: UnionType -reveal_type(IntOrStrOrBytes1) # revealed: UnionType -reveal_type(IntOrStrOrBytes2) # revealed: UnionType -reveal_type(IntOrStrOrBytes3) # revealed: UnionType -reveal_type(IntOrStrOrBytes4) # revealed: UnionType -reveal_type(BytesOrIntOrStr) # revealed: UnionType -reveal_type(IntOrNone) # revealed: UnionType -reveal_type(NoneOrInt) # revealed: UnionType -reveal_type(IntOrStrOrNone) # revealed: UnionType -reveal_type(NoneOrIntOrStr) # revealed: UnionType -reveal_type(IntOrAny) # revealed: UnionType -reveal_type(AnyOrInt) # revealed: UnionType -reveal_type(NoneOrAny) # revealed: UnionType -reveal_type(AnyOrNone) # revealed: UnionType -reveal_type(NeverOrAny) # revealed: UnionType -reveal_type(AnyOrNever) # revealed: UnionType -reveal_type(UnknownOrInt) # revealed: UnionType -reveal_type(IntOrUnknown) # revealed: UnionType +reveal_type(IntOrStr) # revealed: types.UnionType +reveal_type(IntOrStrOrBytes1) # revealed: types.UnionType +reveal_type(IntOrStrOrBytes2) # revealed: types.UnionType +reveal_type(IntOrStrOrBytes3) # revealed: types.UnionType +reveal_type(IntOrStrOrBytes4) # revealed: types.UnionType +reveal_type(BytesOrIntOrStr) # revealed: types.UnionType +reveal_type(IntOrNone) # revealed: types.UnionType +reveal_type(NoneOrInt) # revealed: types.UnionType +reveal_type(IntOrStrOrNone) # revealed: types.UnionType +reveal_type(NoneOrIntOrStr) # revealed: types.UnionType +reveal_type(IntOrAny) # revealed: types.UnionType +reveal_type(AnyOrInt) # revealed: types.UnionType +reveal_type(NoneOrAny) # revealed: types.UnionType +reveal_type(AnyOrNone) # revealed: types.UnionType +reveal_type(NeverOrAny) # revealed: types.UnionType +reveal_type(AnyOrNever) # revealed: types.UnionType +reveal_type(UnknownOrInt) # revealed: types.UnionType +reveal_type(IntOrUnknown) # revealed: types.UnionType def _( int_or_str: IntOrStr, @@ -180,7 +180,7 @@ def _(my_list: MyList[int]): ListOrTuple = list[T] | tuple[T, ...] -reveal_type(ListOrTuple) # revealed: UnionType +reveal_type(ListOrTuple) # revealed: types.UnionType def _(list_or_tuple: ListOrTuple[int]): reveal_type(list_or_tuple) # revealed: @Todo(Generic specialization of types.UnionType) diff --git a/crates/ty_python_semantic/resources/mdtest/mro.md b/crates/ty_python_semantic/resources/mdtest/mro.md index 81a1cfe667..761fb9892d 100644 --- a/crates/ty_python_semantic/resources/mdtest/mro.md +++ b/crates/ty_python_semantic/resources/mdtest/mro.md @@ -301,7 +301,7 @@ class B: ... EitherOr = A | B -# error: [invalid-base] "Invalid class base with type `UnionType`" +# error: [invalid-base] "Invalid class base with type `types.UnionType`" class Foo(EitherOr): ... ``` diff --git a/crates/ty_python_semantic/src/types.rs b/crates/ty_python_semantic/src/types.rs index 60da8a8f72..bdc859b095 100644 --- a/crates/ty_python_semantic/src/types.rs +++ b/crates/ty_python_semantic/src/types.rs @@ -7811,7 +7811,7 @@ impl<'db> KnownInstanceType<'db> { constraints.display(self.db) ) } - KnownInstanceType::UnionType(_) => f.write_str("UnionType"), + KnownInstanceType::UnionType(_) => f.write_str("types.UnionType"), } } }