diff --git a/mypy/semanal.py b/mypy/semanal.py
index 6999b5431199..26df4b357de0 100644
--- a/mypy/semanal.py
+++ b/mypy/semanal.py
@@ -1915,7 +1915,7 @@ def analyze_simple_literal_type(self, rvalue: Expression, is_final: bool) -> Opt
         if isinstance(rvalue, FloatExpr):
             return self.named_type_or_none('builtins.float')
 
-        value = None  # type: LiteralValue
+        value = None  # type: Optional[LiteralValue]
         type_name = None  # type: Optional[str]
         if isinstance(rvalue, IntExpr):
             value, type_name = rvalue.value, 'builtins.int'
@@ -1927,6 +1927,7 @@ def analyze_simple_literal_type(self, rvalue: Expression, is_final: bool) -> Opt
             value, type_name = rvalue.value, 'builtins.unicode'
 
         if type_name is not None:
+            assert value is not None
             typ = self.named_type_or_none(type_name)
             if typ and is_final:
                 return typ.copy_modified(final_value=LiteralType(