anyRestriction

val anyRestriction: TypeRestriction

The TypeRestriction for a register that has any value whatsoever, excluding nil, but it's not known to be immutable.