summaryrefslogtreecommitdiffstats
path: root/src/test/ui/issues/issue-32008.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/issues/issue-32008.rs')
-rw-r--r--src/test/ui/issues/issue-32008.rs28
1 files changed, 0 insertions, 28 deletions
diff --git a/src/test/ui/issues/issue-32008.rs b/src/test/ui/issues/issue-32008.rs
deleted file mode 100644
index 6c2e20679..000000000
--- a/src/test/ui/issues/issue-32008.rs
+++ /dev/null
@@ -1,28 +0,0 @@
-// run-pass
-#![allow(dead_code)]
-#![allow(unused_variables)]
-// Tests that binary operators allow subtyping on both the LHS and RHS,
-// and as such do not introduce unnecessarily strict lifetime constraints.
-
-use std::ops::Add;
-
-struct Foo;
-
-impl<'a> Add<&'a Foo> for &'a Foo {
- type Output = ();
- fn add(self, rhs: &'a Foo) {}
-}
-
-fn try_to_add(input: &Foo) {
- let local = Foo;
-
- // Manual reborrow worked even with invariant trait search.
- &*input + &local;
-
- // Direct use of the reference on the LHS requires additional
- // subtyping before searching (invariantly) for `LHS: Add<RHS>`.
- input + &local;
-}
-
-fn main() {
-}