Local variables in Macro defining abstract type

[nignatiadis]

Consider the following two macros for defining parametric concrete or abstract types:

macro m1()
    quote
        abstract type A{S<:Real, V<:AbstractVector{S}} end
    end
end

macro m2()
    quote
        struct A{S<:Real, V<:AbstractVector{S}} end
    end
end

While they are very similar, their behavior appears to be inconsistent:

@macroexpand @m1

quote
#= REPL[17]:3 =#
abstract type (Main.A){Main.S <: Main.Real, Main.V <: (Main.AbstractVector){Main.S}} end
end

@macroexpand @m2

quote
#= REPL[18]:3 =#
struct A{#1#S <: Main.Real, #2#V <: (Main.AbstractVector){#1#S}}
#= REPL[18]:3 =#
end
end

Below the versioinfo which is 0.7, but @mauro3 (who wrote the above minimal example) reproduced this on 1.0 as well.

Julia Version 0.7.0
Commit a4cb80f (2018-08-08 06:46 UTC)
Platform Info:
OS: macOS (x86_64-apple-darwin14.5.0)
CPU: Intel(R) Core(TM) i7-3720QM CPU @ 2.60GHz
WORD_SIZE: 64
LIBM: libopenlibm
LLVM: libLLVM-6.0.0 (ORCJIT, ivybridge)