Merge pull request JuliaLang#18757 from JuliaLang/tb/core_type

Make lowering refer to Core.Type (fixes JuliaLang#18756).

Author: maleadt

src/julia-syntax.scm

@@ -715,12 +715,12 @@
 (define (ctor-signature name params bounds method-params sig)
   (if (null? params)
       (if (null? method-params)
-          (cons `(call (|::| (curly Type ,name)) ,@sig)
+          (cons `(call (|::| (curly (core Type) ,name)) ,@sig)
                 params)
-          (cons `(call (curly (|::| (curly Type ,name)) ,@method-params) ,@sig)
+          (cons `(call (curly (|::| (curly (core Type) ,name)) ,@method-params) ,@sig)
                 params))
       (if (null? method-params)
-          (cons `(call (curly (|::| (curly Type (curly ,name ,@params)))
+          (cons `(call (curly (|::| (curly (core Type) (curly ,name ,@params)))
                               ,@(map (lambda (p b) `(<: ,p ,b)) params bounds))
                        ,@sig)
                 params)
@@ -729,7 +729,7 @@
                                                  (gensy)
                                                  p))
                                  params)))
-            (cons `(call (curly (|::| (curly Type (curly ,name ,@new-params)))
+            (cons `(call (curly (|::| (curly (core Type) (curly ,name ,@new-params)))
                                 ,@(map (lambda (p b) `(<: ,p ,b)) new-params bounds)
                                 ,@method-params)
                          ,@sig)

test/parse.jl

@@ -811,3 +811,10 @@ end
 ```.head == :if
 
 end
+
+# issue 18756
+module Mod18756
+type Type
+end
+end
+@test method_exists(Mod18756.Type, ())