Better test

Author: ilevkivskyi

test-data/unit/check-flags.test

@@ -2740,16 +2740,23 @@ disallow_redefinition = true
 
 [case testRevealSimpleTypes]
 # flags: --reveal-simple-types
+from typing import Generic, TypeVar
 from typing_extensions import TypeVarTuple, Unpack, TypedDict
 
+T = TypeVar("T", bound=int)
+S = TypeVar("S", default=list[T])
+
+class A(Generic[T, S]): ...
+reveal_type(A)  # N: Revealed type is "def [T <: int, S = list[T]] () -> A[T, S]"
+
 Ts = TypeVarTuple("Ts")
 def foo(x: int, *xs: Unpack[Ts]) -> tuple[int, Unpack[Ts]]: ...
 reveal_type(foo)  # N: Revealed type is "def [Ts] (x: int, *xs: *Ts) -> tuple[int, *Ts]"
 
-class Options(TypedDict):
-    rate: int
-    template: str
+class User(TypedDict):
+    age: int
+    name: str
 
-def bar(x: int, **kwargs: Unpack[Options]) -> None: ...
-reveal_type(bar)  # N: Revealed type is "def (x: int, **kwargs: **TypedDict(Options, {'rate': int, 'template': str}))"
+def bar(x: int, **kwargs: Unpack[User]) -> None: ...
+reveal_type(bar)  # N: Revealed type is "def (x: int, **kwargs: **TypedDict(User, {'age': int, 'name': str}))"
 [builtins fixtures/tuple.pyi]