No subject

allowing implicit conversion typedef->uint, but not the other way around. 
Isn't this pretty inconsistent?

IMHO, implicit conversions either way should be disallowed.  We could still
allow for nice math with literals if we followed this rule:

  "Math between numeric typedefs and numeric literals is allowed, and the
result has the same type as the typedef."

You could even consider allowing math between numeric typedefs and non-typedef
variables, but I am more skeptical of that.


--