summaryrefslogtreecommitdiffstats
path: root/src/test/ui/match/match-ref-mut-invariance.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/match/match-ref-mut-invariance.rs')
-rw-r--r--src/test/ui/match/match-ref-mut-invariance.rs15
1 files changed, 0 insertions, 15 deletions
diff --git a/src/test/ui/match/match-ref-mut-invariance.rs b/src/test/ui/match/match-ref-mut-invariance.rs
deleted file mode 100644
index 4250696c6..000000000
--- a/src/test/ui/match/match-ref-mut-invariance.rs
+++ /dev/null
@@ -1,15 +0,0 @@
-// Check that when making a ref mut binding with type `&mut T`, the
-// type `T` must match precisely the type `U` of the value being
-// matched, and in particular cannot be some supertype of `U`. Issue
-// #23116. This test focuses on a `match`.
-
-#![allow(dead_code)]
-struct S<'b>(&'b i32);
-impl<'b> S<'b> {
- fn bar<'a>(&'a mut self) -> &'a mut &'a i32 {
- match self.0 { ref mut x => x }
- //~^ ERROR lifetime may not live long enough
- }
-}
-
-fn main() {}