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
newline */) satisfies T;
(
// a
x
// b
) satisfies T;
x /* c */ satisfies T;