[ty] Rename UnionType to types.UnionType (#21262)

This commit is contained in:
David Peter 2025-11-03 22:06:56 +01:00 committed by GitHub
parent 1fe958c694
commit d2fe6347fb
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 27 additions and 27 deletions

View file

@ -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
```

View file

@ -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)

View file

@ -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): ...
```

View file

@ -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"),
}
}
}