NFC add known bug nr to test

This commit is contained in:
Matthias Krüger 2024-11-02 13:33:39 +01:00
parent 588a420350
commit f341a19366

View File

@ -2,7 +2,7 @@
//@ ignore-compare-mode-next-solver (explicit revisions)
//@[next] compile-flags: -Znext-solver
//@[next] check-pass
//@[current] known-bug: unknown
//@[current] known-bug: #132519
//@[current] failure-status: 101
//@[current] dont-check-compiler-stderr