Checking microsoft#1494

CTrando · CTrando · commit f4f1ce7ad8d6 · 2019-08-31T20:29:18.000-07:00
diff --git a/src/Analysis/Ast/Test/CollectionsTests.cs b/src/Analysis/Ast/Test/CollectionsTests.cs
@@ -16,6 +16,7 @@
 using System.Threading.Tasks;
 using Microsoft.Python.Analysis.Tests.FluentAssertions;
 using Microsoft.Python.Analysis.Types;
+using Microsoft.Python.Analysis.Values;
 using Microsoft.Python.Parsing.Tests;
 using Microsoft.VisualStudio.TestTools.UnitTesting;
 using TestUtilities;
@@ -51,6 +52,32 @@ public async Task ListAssign() {
                 .And.HaveVariable("x4").OfType(BuiltinTypeId.Str);
         }
 
+        [TestMethod, Priority(0)]
+        public async Task TypingListEnum() {
+            const string code = @"
+from typing import List
+xs: List[str] = ['tmp']
+for x in xs:
+    pass
+";
+            var analysis = await GetAnalysisAsync(code);
+            analysis.Should().HaveVariable("x").OfType(BuiltinTypeId.Str);
+        }
+
+        [TestMethod, Priority(0)]
+        public async Task TypingListInFuncEnum() {
+            const string code = @"
+from typing import List
+def f(xs: List[str]):
+    for x in xs:
+        pass
+";
+            var analysis = await GetAnalysisAsync(code);
+            analysis.GlobalScope.Should().OnlyHaveChildScope<Scope>().Which.Should().HaveVariable("x")
+                .OfType(BuiltinTypeId.Str);
+        }
+
+
         [TestMethod, Priority(0)]
         public async Task ListCallCtor() {
             const string code = @"
