summaryrefslogtreecommitdiffstats
path: root/src/test/ui/specialization/soundness/partial_eq_range_inclusive.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:13 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:13 +0000
commit218caa410aa38c29984be31a5229b9fa717560ee (patch)
treec54bd55eeb6e4c508940a30e94c0032fbd45d677 /src/test/ui/specialization/soundness/partial_eq_range_inclusive.rs
parentReleasing progress-linux version 1.67.1+dfsg1-1~progress7.99u1. (diff)
downloadrustc-218caa410aa38c29984be31a5229b9fa717560ee.tar.xz
rustc-218caa410aa38c29984be31a5229b9fa717560ee.zip
Merging upstream version 1.68.2+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/specialization/soundness/partial_eq_range_inclusive.rs')
-rw-r--r--src/test/ui/specialization/soundness/partial_eq_range_inclusive.rs35
1 files changed, 0 insertions, 35 deletions
diff --git a/src/test/ui/specialization/soundness/partial_eq_range_inclusive.rs b/src/test/ui/specialization/soundness/partial_eq_range_inclusive.rs
deleted file mode 100644
index 923dec892..000000000
--- a/src/test/ui/specialization/soundness/partial_eq_range_inclusive.rs
+++ /dev/null
@@ -1,35 +0,0 @@
-// run-pass
-
-use std::cell::RefCell;
-use std::cmp::Ordering;
-
-struct Evil<'a, 'b> {
- values: RefCell<Vec<&'a str>>,
- to_insert: &'b String,
-}
-
-impl<'a, 'b> PartialEq for Evil<'a, 'b> {
- fn eq(&self, _other: &Self) -> bool {
- true
- }
-}
-
-impl<'a> PartialOrd for Evil<'a, 'a> {
- fn partial_cmp(&self, _other: &Self) -> Option<Ordering> {
- self.values.borrow_mut().push(self.to_insert);
- None
- }
-}
-
-fn main() {
- let e;
- let values;
- {
- let to_insert = String::from("Hello, world!");
- e = Evil { values: RefCell::new(Vec::new()), to_insert: &to_insert };
- let range = &e..=&e;
- let _ = range == range;
- values = e.values;
- }
- assert_eq!(*values.borrow(), Vec::<&str>::new());
-}