Make it possible to illegalize .asUInt on OpaqueTypes (#3344)
Subclasses of OpaqueType can override errorOnAsUInt to make it an elaboration time error if .asUInt is called on an instance of the particular type (including when nested inside of an Aggregate). This closes a large loophole in the OpaqueType API.
parent
b0f9fe0f