Skip to content

Commit

Permalink
Rollup merge of #94626 - marmeladema:issue-47511-known-bug, r=jackh726
Browse files Browse the repository at this point in the history
Add known-bug directive to issue #47511 test case
  • Loading branch information
Dylan-DPC authored Mar 5, 2022
2 parents e558040 + 9e03d7d commit 38e3b32
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 4 deletions.
5 changes: 3 additions & 2 deletions src/test/ui/issues/issue-47511.rs
Original file line number Diff line number Diff line change
@@ -1,14 +1,15 @@
// check-fail
// known-bug

// 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 {
//~^ ERROR return type references an anonymous lifetime
unimplemented!()
}

fn g<'a>(_: X<'a>) -> X<'a> {
//~^ ERROR return type references lifetime `'a`, which is not constrained
unimplemented!()
}

Expand Down
4 changes: 2 additions & 2 deletions src/test/ui/issues/issue-47511.stderr
Original file line number Diff line number Diff line change
@@ -1,13 +1,13 @@
error[E0581]: return type references an anonymous lifetime, which is not constrained by the fn input types
--> $DIR/issue-47511.rs:5:15
--> $DIR/issue-47511.rs:8:15
|
LL | fn f(_: X) -> X {
| ^
|
= note: lifetimes appearing in an associated type are not considered constrained

error[E0581]: return type references lifetime `'a`, which is not constrained by the fn input types
--> $DIR/issue-47511.rs:10:23
--> $DIR/issue-47511.rs:12:23
|
LL | fn g<'a>(_: X<'a>) -> X<'a> {
| ^^^^^
Expand Down

0 comments on commit 38e3b32

Please sign in to comment.