That’s the part I can see happening, e.g. foo() = AbstractType() getting invalidated. I’m asking about something like foo(x::AbstractType) = x or struct Bar <: AbstractType end; AbstractType = 1 should fail for both cases, and AbstractType = Int should fail for the latter.
2 Likes