Compiler treats alias as a type if it matches both

[crosjef]

In this example, the compiler gives an "overridden types" error on the last line (Length : 2) because it matches that to the 2 : Hole Size type, which is invalid in this context.

If the matching type is invalid but treating the annotation as an alias is valid, I think that would be the expected behaviour.

Type
mm, Hole Size, Product, SKU : Type

/\d+\.?\d* : mm

0, 1, 2, 3, 4 : Hole Size

Machine Screw : Product
	Length : mm
	
1111 : SKU, Machine Screw
	Length : 22
	
2222 : SKU, Machine Screw
	Length : 2