add test for #9770

test/choosetests.jl

@@ -15,7 +15,7 @@ Upon return, `tests` is a vector of fully-expanded test names, and
 """ ->
 function choosetests(choices = [])
     testnames = [
-        "linalg", "core", "keywordargs", "numbers", "printf",
+        "linalg", "core", "inference", "keywordargs", "numbers", "printf",
         "char", "string", "triplequote", "unicode",
         "dates", "dict", "hashing", "remote", "iobuffer", "staged",
         "arrayops", "tuple", "subarray", "reduce", "reducedim", "random",

test/inference.jl

@@ -0,0 +1,24 @@
+# This file is a part of Julia. License is MIT: http://julialang.org/license
+
+# test for Core.Inference correctness and precision
+
+const Bottom = Union{}
+
+# issue 9770
+@noinline x9770() = false
+function f9770(x)
+    if x9770()
+        g9770(:a, :foo)
+    else
+        x
+    end
+end
+function g9770(x,y)
+   if isa(y, Symbol)
+       f9770(x)
+   else
+       g9770(:a, :foo)
+   end
+end
+@test g9770(:a, "c") === :a
+@test g9770(:b, :c) === :b