about summary refs log tree commit diff
path: root/src/test/ui/issues
diff options
context:
space:
mode:
authorJack Huey <31162821+jackh726@users.noreply.github.com>2022-08-30 21:50:22 -0400
committerJack Huey <31162821+jackh726@users.noreply.github.com>2022-09-17 11:46:05 -0400
commite7ca6e1b47ce31ad544cd8f0eb7e5cd47b325e63 (patch)
treef37d582bb1a9f1d9a1ff3e6ff817e85e0e6c697f /src/test/ui/issues
parent1eb71f08932f0935584432f47900c5b6ee6844ba (diff)
downloadrust-e7ca6e1b47ce31ad544cd8f0eb7e5cd47b325e63.tar.gz
rust-e7ca6e1b47ce31ad544cd8f0eb7e5cd47b325e63.zip
Use Predicate ConstraintCategory when normalizing
Diffstat (limited to 'src/test/ui/issues')
-rw-r--r--src/test/ui/issues/issue-26217.stderr6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/test/ui/issues/issue-26217.stderr b/src/test/ui/issues/issue-26217.stderr
index c7601caacdc..73c772205c3 100644
--- a/src/test/ui/issues/issue-26217.stderr
+++ b/src/test/ui/issues/issue-26217.stderr
@@ -5,6 +5,12 @@ LL | fn bar<'a>() {
    |        -- lifetime `'a` defined here
 LL |     foo::<&'a i32>();
    |     ^^^^^^^^^^^^^^ requires that `'a` must outlive `'static`
+   |
+note: due to current limitations in the borrow checker, this implies a `'static` lifetime
+  --> $DIR/issue-26217.rs:1:30
+   |
+LL | fn foo<T>() where for<'a> T: 'a {}
+   |                              ^^
 
 error: aborting due to previous error