(<T> x).y;
(x as T).y;
x!.y;