1 ; RUN: not opt -S -verify < %s 2>&1 | FileCheck %s
3 ;; Arrays cannot contain scalable vectors; make sure we detect them even
4 ;; when nested inside other aggregates.
6 %ty = type { i64, [4 x <vscale x 256 x i1>] }
7 ; CHECK: error: invalid array element type
8 ; CHECK: %ty = type { i64, [4 x <vscale x 256 x i1>] }