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;