add bug testcase for generic typeddict

Summary:
generic typed dicts still get turned into Type::ClassType

i'll sort that out later

Reviewed By: ndmitchell

Differential Revision: D68329669

fbshipit-source-id: 0c6c3b4a3107e090fbfef3cdff9a68c6a6a37979

pyre2/pyre2/bin/test/typed_dict.rs

@@ -6,6 +6,7 @@
  */
 
 use crate::testcase;
+use crate::testcase_with_bug;
 
 testcase!(
     test_typed_dict,
@@ -30,6 +31,20 @@ class Coord(TypedDict, metaclass=EnumMeta):  # E: Typed dictionary definitions m
     "#,
 );
 
+testcase_with_bug!(
+    "Generic typed dicts are not supported yet",
+    test_typed_dict_generic,
+    r#"
+from typing import TypedDict
+class Coord[T](TypedDict):
+    x: T
+    y: T
+def foo(c: Coord[int]):
+    x: int = c["x"]  # E: `Coord[int]` has no attribute `__getitem__`
+    y: str = c["y"]  # E: `Coord[int]` has no attribute `__getitem__`
+    "#,
+);
+
 testcase!(
     test_typed_dict_initialized_field,
     r#"