semantic: Fix T[] ~ T