metaRestriction

fun metaRestriction(): TypeRestriction

The receiver is a restriction for a register holding some value. Answer the restriction for a register holding that value's type.

Return

The restriction on the value's type.