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

src/jlfrontend.scm

@@ -43,6 +43,15 @@
  tab)))
  ((lambda) tab)
  ((local) tab)
+ ((scope-block)
+ ;; TODO: when deprecation for implicit global assignment inside loops
+ ;; is removed, remove this code and just return `tab` in this case
+ (let ((tab2 (table)))
+ (find-possible-globals- (cadr e) tab2)
+ (for-each (lambda (v) (if (has? tab2 v) (del! tab2 v)))
+ (append (find-local-decls (cadr e)) (find-local-def-decls (cadr e))))
+ (for-each (lambda (v) (put! tab v #t))
+ (table.keys tab2))))
  ((break-block) (find-possible-globals- (caddr e) tab))
  ((module toplevel) '())
  (else

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