Skip to content

Commit c7b2252

Browse files
committed
add comment and link to test
1 parent 794d33d commit c7b2252

2 files changed

Lines changed: 5 additions & 1 deletion

File tree

tests/ui/traits/next-solver/undeclared-lifetime-no-ice-issue-151461.rs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,7 @@
1+
// Regression test for <https://github.com/rust-lang/rust/issues/151461>.
2+
//
3+
// The next solver normalizes `TypeOutlives` goals before registering them as region obligations.
4+
// This should not ICE when we already emitted an error for an undeclared lifetime.
15
//@ compile-flags: -Znext-solver=globally
26

37
trait X<'a> {

tests/ui/traits/next-solver/undeclared-lifetime-no-ice-issue-151461.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error[E0261]: use of undeclared lifetime name `'a`
2-
--> $DIR/undeclared-lifetime-no-ice-issue-151461.rs:9:33
2+
--> $DIR/undeclared-lifetime-no-ice-issue-151461.rs:13:33
33
|
44
LL | for<'b> <Self as X<'b>>::U: 'a,
55
| ^^ undeclared lifetime

0 commit comments

Comments
 (0)