give more accurate error for invalid array access on abstracts