vast
vast copied to clipboard
Implement typedef resolver for type constraints
For example allow typedef int int_type
to satisfy IntegerLikeType
constraint.
This probably requires a global module to access typedef information, or embed typedef defining operation somehow to type itself.