This information describes any type restrictions on a dynamic variable.
Except as explicitly specified otherwise, the consequences are undefined if this type restriction is violated.