Auto merge of #1539 - RalfJung:issue, r=RalfJung

float test case: fix referenced issue

Author: bors

tests/run-pass/float.rs

@@ -1,5 +1,5 @@
 // compile-flags: -Zmir-opt-level=0
-// FIXME: Using opt-level 2 here makes the test take forever (https://github.com/rust-lang/rust/issues/76433).
+// FIXME: Using opt-level 2 here makes the test take forever (https://github.com/rust-lang/rust/issues/73717).
 #![feature(stmt_expr_attributes, test)]
 use std::fmt::Debug;
 use std::hint::black_box;