bottomRestriction

val bottomRestriction: TypeRestriction

The TypeRestriction for a register that cannot hold any value. This can be useful for cleanly dealing with unreachable code.

It's marked as immutable because nothing can read from a register with this restriction.