diff options
Diffstat (limited to '')
| -rw-r--r-- | src/test/ui/lifetimes/re-empty-in-error.stderr | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/test/ui/lifetimes/re-empty-in-error.stderr b/src/test/ui/lifetimes/re-empty-in-error.stderr new file mode 100644 index 000000000..72bb0782f --- /dev/null +++ b/src/test/ui/lifetimes/re-empty-in-error.stderr @@ -0,0 +1,10 @@ +error: higher-ranked lifetime error + --> $DIR/re-empty-in-error.rs:7:5 + | +LL | foo(&10); + | ^^^^^^^^ + | + = note: could not prove `for<'b, 'r> &'b (): 'r` + +error: aborting due to previous error + |