(x satisfies T);
(x < y satisfies boolean); // (x < y) satisfies boolean;
x === (1 satisfies number); // x === (1 satisfies number);
((x satisfies any) satisfies T);
((
// a
x
/* b */) satisfies T);
((x /* c */) satisfies T);