Relates to the type-redifinition logic (shadowing of an existing type)
Relates to the type-redifinition logic (shadowing of an existing type)