| ; 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} |