Disallow x[y] if x has a maybe type