On Tue, 2017-12-19 at 09:54 +0900, Malcolm Cohen wrote: > Multiple constraint violations is an unusual meaning of ?OK?. P5 is > not permitted in an initialization expression so both the X and Y > lines violate those constraints. I read 10.1.12p1(10) too fast. Malcolm is right that the type definition is invalid.