Rollup merge of #132520 - matthiaskrgr:knobu, r=jieyouxu

NFC add known bug nr to test

r? ```````@jieyouxu```````
This commit is contained in:
Matthias Krüger 2024-11-03 12:08:53 +01:00 committed by GitHub
commit 9c7cdc2352
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

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