규칙 7.8

The refusals of surface §28 (a union of two GPU types, a string type, a nullable, a mixed tuple, a rest tuple, symbol, an intersection of carriers, instanceof, in) must apply to expressions as they do to types, each in one sentence. The one string an expression may be is a string literal written as an argument of a console call: it is a label, which the host keeps and the event carries in its place, and it never reaches a target (surface §66). A template with a value in it is refused there with the arguments to write instead.