diff --git a/mypy/checkexpr.py b/mypy/checkexpr.py
index b6dec2834449d..c550cf0e5f5a7 100644
--- a/mypy/checkexpr.py
+++ b/mypy/checkexpr.py
@@ -2960,6 +2960,9 @@ def visit_index_with_type(self, left_type: Type, e: IndexExpr,
         elif (isinstance(left_type, CallableType)
               and left_type.is_type_obj() and left_type.type_object().is_enum):
             return self.visit_enum_index_expr(left_type.type_object(), e.index, e)
+        elif (isinstance(left_type, TypeVarType)
+              and not self.has_member(left_type.upper_bound, "__getitem__")):
+            return self.visit_index_with_type(left_type.upper_bound, e, original_type)
         else:
             result, method_type = self.check_method_call_by_name(
                 '__getitem__', left_type, [e.index], [ARG_POS], e,
diff --git a/test-data/unit/check-typevar-values.test b/test-data/unit/check-typevar-values.test
index 3f77996ec9596..2c25e9adc8bb8 100644
--- a/test-data/unit/check-typevar-values.test
+++ b/test-data/unit/check-typevar-values.test
@@ -631,3 +631,74 @@ def g(s: S) -> Callable[[S], None]: ...
 def f(x: S) -> None:
     h = g(x)
     h(x)
+
+[case testTypeVarWithTypedDictBoundInIndexExpression]
+from typing import TypeVar
+from typing_extensions import TypedDict
+
+class Data(TypedDict):
+    x: int
+
+
+T = TypeVar("T", bound=Data)
+
+
+def f(data: T) -> None:
+    reveal_type(data["x"]) # N: Revealed type is "builtins.int"
+[builtins fixtures/tuple.pyi]
+
+[case testTypeVarWithUnionTypedDictBoundInIndexExpression]
+from typing import TypeVar, Union, Dict
+from typing_extensions import TypedDict
+
+class Data(TypedDict):
+    x: int
+
+
+T = TypeVar("T", bound=Union[Data, Dict[str, str]])
+
+
+def f(data: T) -> None:
+    reveal_type(data["x"]) # N: Revealed type is "Union[builtins.int, builtins.str*]"
+
+[builtins fixtures/tuple.pyi]
+[builtins fixtures/dict.pyi]
+
+[case testTypeVarWithTypedDictValueInIndexExpression]
+from typing import TypeVar, Union, Dict
+from typing_extensions import TypedDict
+
+class Data(TypedDict):
+    x: int
+
+
+T = TypeVar("T", Data, Dict[str, str])
+
+
+def f(data: T) -> None:
+    _: Union[str, int] = data["x"]
+[builtins fixtures/tuple.pyi]
+[builtins fixtures/dict.pyi]
+
+[case testSelfTypeVarIndexExpr]
+from typing import TypeVar, Union, Type
+from typing_extensions import TypedDict
+
+T = TypeVar("T", bound="Indexable")
+
+class Indexable:
+    def __init__(self, index: str) -> None:
+        self.index = index 
+
+    def __getitem__(self: T, index: str) -> T:
+        return self._new_instance(index)
+
+    @classmethod
+    def _new_instance(cls: Type[T], index: str) -> T:
+        return cls("foo")
+
+    def m(self: T) -> T:
+        return self["foo"]
+
+[builtins fixtures/tuple.pyi]
+[builtins fixtures/classmethod.pyi]