fix #28044, collision between global and where-bound var

JuliaLang · Jul 11, 2018 · 6629796 · 6629796
1 parent 3791357
commit 6629796
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/src/jlfrontend.scm b/src/jlfrontend.scm
@@ -43,6 +43,7 @@
  tab)))
  ((lambda) tab)
  ((local) tab)
+ ((scope-block) tab)
  ((break-block) (find-possible-globals- (caddr e) tab))
  ((module toplevel) '())
  (else

diff --git a/test/syntax.jl b/test/syntax.jl
@@ -1559,3 +1559,14 @@ let oldstderr = stderr, newstderr, errtxt
  end
  @test occursin("WARNING: local variable B conflicts with a static parameter", fetch(errtxt))
 end
+
+# issue #28044
+code28044(x) = 10x
+begin
+ function f28044(::Val{code28044}) where code28044
+ code28044(2)
+ end
+ # make sure this assignment to `code28044` doesn't add an implicit-global
+ Val{code28044} where code28044
+end
+@test f28044(Val(identity)) == 2