Type assertion

A developer-supplied instruction about a value type that changes static checking without validating or converting the value.