about summary refs log tree commit diff
path: root/src/test/ui/issues
diff options
context:
space:
mode:
authorBoxy <supbscripter@gmail.com>2022-11-06 13:39:13 +0000
committerBoxy <supbscripter@gmail.com>2022-11-06 13:39:18 +0000
commitc0889a6005ecac3d304009e734baa97b37b534d2 (patch)
tree88d1bc28e9859b5dc766081501653540bdd0017c /src/test/ui/issues
parent88935e0beacb49bb552de1628bdf50b183f7b926 (diff)
fixyfixfix
Diffstat (limited to 'src/test/ui/issues')
-rw-r--r--src/test/ui/issues/issue-47511.rs26
-rw-r--r--src/test/ui/issues/issue-47511.stderr18
2 files changed, 0 insertions, 44 deletions
diff --git a/src/test/ui/issues/issue-47511.rs b/src/test/ui/issues/issue-47511.rs
deleted file mode 100644
index eb4860e75d7..00000000000
--- a/src/test/ui/issues/issue-47511.rs
+++ /dev/null
@@ -1,26 +0,0 @@
-// check-fail
-// known-bug: #47511
-
-// Regression test for #47511: anonymous lifetimes can appear
-// unconstrained in a return type, but only if they appear just once
-// in the input, as the input to a projection.
-
-fn f(_: X) -> X {
-    unimplemented!()
-}
-
-fn g<'a>(_: X<'a>) -> X<'a> {
-    unimplemented!()
-}
-
-type X<'a> = <&'a () as Trait>::Value;
-
-trait Trait {
-    type Value;
-}
-
-impl<'a> Trait for &'a () {
-    type Value = ();
-}
-
-fn main() {}
diff --git a/src/test/ui/issues/issue-47511.stderr b/src/test/ui/issues/issue-47511.stderr
deleted file mode 100644
index 9998ee0e8d0..00000000000
--- a/src/test/ui/issues/issue-47511.stderr
+++ /dev/null
@@ -1,18 +0,0 @@
-error[E0581]: return type references an anonymous lifetime, which is not constrained by the fn input types
-  --> $DIR/issue-47511.rs:8:15
-   |
-LL | fn f(_: X) -> X {
-   |               ^
-   |
-   = note: lifetimes appearing in an associated or opaque type are not considered constrained
-   = note: consider introducing a named lifetime parameter
-
-error[E0581]: return type references lifetime `'a`, which is not constrained by the fn input types
-  --> $DIR/issue-47511.rs:12:23
-   |
-LL | fn g<'a>(_: X<'a>) -> X<'a> {
-   |                       ^^^^^
-
-error: aborting due to 2 previous errors
-
-For more information about this error, try `rustc --explain E0581`.