; RUN: not opt -S %s 2>&1 \
; RUN: | FileCheck %s
;; Check that badly formed assignment tracking metadata is caught either
;; while parsing or by the verifier.
; CHECK: error: missing 'distinct', required for !DIAssignID()
!1 = !DIAssignID()
!1000 = !{i32 7, !"debug-info-assignment-tracking", i1 true}