From cb611277f627c7ef1afe0a45a3b1973c5c64552f Mon Sep 17 00:00:00 2001
From: Jubilee <46493976+workingjubilee@users.noreply.github.com>
Date: Fri, 10 Feb 2023 01:31:42 -0800
Subject: [PATCH] Add `where` to `borrowck_could_not_prove`

---
 compiler/rustc_error_messages/locales/en-US/borrowck.ftl | 2 +-
 tests/ui/higher-rank-trait-bounds/issue-59311.stderr     | 4 ++--
 tests/ui/lifetimes/re-empty-in-error.stderr              | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/compiler/rustc_error_messages/locales/en-US/borrowck.ftl b/compiler/rustc_error_messages/locales/en-US/borrowck.ftl
index fe77cf23e8f94..c43422ecdec13 100644
--- a/compiler/rustc_error_messages/locales/en-US/borrowck.ftl
+++ b/compiler/rustc_error_messages/locales/en-US/borrowck.ftl
@@ -6,7 +6,7 @@ borrowck_higher_ranked_lifetime_error =
     higher-ranked lifetime error
 
 borrowck_could_not_prove =
-    could not prove `{$predicate}`
+    could not prove `where {$predicate}`
 
 borrowck_could_not_normalize =
     could not normalize `{$value}`
diff --git a/tests/ui/higher-rank-trait-bounds/issue-59311.stderr b/tests/ui/higher-rank-trait-bounds/issue-59311.stderr
index c01ab8e347c6c..81ed2cb4eb132 100644
--- a/tests/ui/higher-rank-trait-bounds/issue-59311.stderr
+++ b/tests/ui/higher-rank-trait-bounds/issue-59311.stderr
@@ -4,7 +4,7 @@ error: higher-ranked lifetime error
 LL |     v.t(|| {});
    |     ^^^^^^^^^^
    |
-   = note: could not prove `[closure@$DIR/issue-59311.rs:17:9: 17:11] well-formed`
+   = note: could not prove `where [closure@$DIR/issue-59311.rs:17:9: 17:11] well-formed`
 
 error: higher-ranked lifetime error
   --> $DIR/issue-59311.rs:17:9
@@ -12,7 +12,7 @@ error: higher-ranked lifetime error
 LL |     v.t(|| {});
    |         ^^^^^
    |
-   = note: could not prove `for<'a> &'a V: 'static`
+   = note: could not prove `where for<'a> &'a V: 'static`
 
 error: aborting due to 2 previous errors
 
diff --git a/tests/ui/lifetimes/re-empty-in-error.stderr b/tests/ui/lifetimes/re-empty-in-error.stderr
index c35d8ecec5e2d..359b664e44448 100644
--- a/tests/ui/lifetimes/re-empty-in-error.stderr
+++ b/tests/ui/lifetimes/re-empty-in-error.stderr
@@ -4,7 +4,7 @@ error: higher-ranked lifetime error
 LL |     foo(&10);
    |     ^^^^^^^^
    |
-   = note: could not prove `for<'b> &'b (): 'a`
+   = note: could not prove `where for<'b> &'b (): 'a`
 
 error: aborting due to previous error