; RUN: not opt -S -verify < %s 2>&1 | FileCheck %s | |
;; Structs cannot contain scalable vectors; make sure we detect them even | |
;; when nested inside other aggregates. | |
%ty = type [2 x { i32, <vscale x 1 x i32> }] | |
; CHECK: error: invalid element type for struct | |
; CHECK: %ty = type [2 x { i32, <vscale x 1 x i32> }] |