Clarify a statement in UB test

diff --git a/src/test/ui/consts/const-eval/double_check2.rs b/src/test/ui/consts/const-eval/double_check2.rs
index e1f3e5bb27a8f730631c9df4a64053e9a0b07b16..b89db0b97d9fbbde41fce3fcc67f78fadc60491e 100644 (file)
--- a/src/test/ui/consts/const-eval/double_check2.rs
+++ b/src/test/ui/consts/const-eval/double_check2.rs
@@ -1,7 +1,9 @@
 // check-pass
 
 // This test exhibits undefined behavior, but it is impossible to prevent generally during
-// const eval, even if possible to prevent in the cases here. The reason it's impossible in general
+// const eval, even if it could be prevented in the cases here if we added expensive and
+// complex checks in rustc.
+// The reason it's impossible in general
 // is that we run into query cycles even *without* UB, just because we're checking for UB.
 // We do not detect it if you create references to statics
 // in ways that are UB.