Skip to content

Commit fef480f

Browse files
lcnrJJ_EMPTY_STRING
authored and
JJ_EMPTY_STRING
committed
error pattern to correct line
1 parent 12f86ee commit fef480f

File tree

2 files changed

+2
-3
lines changed

2 files changed

+2
-3
lines changed

Diff for: tests/ui/generic-associated-types/issue-90014-tait2.rs

+1-2
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,6 @@
33
//! Unfortunately we don't even reach opaque type collection, as we ICE in typeck before that.
44
//! See #109281 for the original report.
55
//@ edition:2018
6-
//@ error-pattern: expected generic lifetime parameter, found `'a`
7-
86
#![feature(type_alias_impl_trait)]
97

108
use std::future::Future;
@@ -24,6 +22,7 @@ impl<'x, T: 'x> Trait<'x> for (T,) {
2422
impl Foo<'_> {
2523
fn make_fut(&self) -> Box<dyn for<'a> Trait<'a, Thing = Fut<'a>>> {
2624
Box::new((async { () },))
25+
//~^ ERROR expected generic lifetime parameter, found `'a`
2726
}
2827
}
2928

Diff for: tests/ui/generic-associated-types/issue-90014-tait2.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error[E0792]: expected generic lifetime parameter, found `'a`
2-
--> $DIR/issue-90014-tait2.rs:26:9
2+
--> $DIR/issue-90014-tait2.rs:24:9
33
|
44
LL | type Fut<'a> = impl Future<Output = ()>;
55
| -- this generic parameter must be used with a generic lifetime parameter

0 commit comments

Comments
 (0)