From 8588f798029758c4d412757ff5d31c79ce5c02bf Mon Sep 17 00:00:00 2001
From: Michael Goulet <michael@errs.io>
Date: Wed, 16 Mar 2022 23:05:52 -0700
Subject: Do not use ParamEnv::and to cache param-env with candidate

---
 .../ui/higher-rank-trait-bounds/normalize-under-binder/issue-80706.rs  | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/test/ui')

diff --git a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-80706.rs b/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-80706.rs
index 112227c85c4..00a866f220b 100644
--- a/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-80706.rs
+++ b/src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-80706.rs
@@ -1,4 +1,4 @@
-// check-pass
+// build-pass
 // edition:2018
 
 type BoxFuture<T> = std::pin::Pin<Box<dyn std::future::Future<Output=T>>>;
@@ -65,6 +65,7 @@ async fn run<S>(dep: &str)
 where
     S: Storage,
     for<'a> SaveUser<'a>: StorageRequest<S>,
+    for<'a> SaveUser<'a>: StorageRequestReturnType,
 {
     User { dep }.save().await;
 }
-- 
cgit 1.4.1-3-g733a5