From 17529299833bd1a3085a411998d0f345131aea0d Mon Sep 17 00:00:00 2001
From: Seiichi Uchida <seuchida@gmail.com>
Date: Mon, 2 Oct 2017 00:04:32 +0900
Subject: [PATCH] Update tests
---
tests/source/where-clause-rfc.rs | 9 +++++++++
tests/target/where-clause-rfc.rs | 14 ++++++++++++++
2 files changed, 23 insertions(+)
diff --git a/tests/source/where-clause-rfc.rs b/tests/source/where-clause-rfc.rs
index ef822f6bea2..678b060602e 100644
--- a/tests/source/where-clause-rfc.rs
+++ b/tests/source/where-clause-rfc.rs
@@ -48,3 +48,12 @@ pub trait SomeTrait<T>
T: Something + Sync + Send + Display + Debug + Copy + Hash + Debug + Display + Write + Read + FromStr
{
}
+
+// #2020
+impl<'a, 'gcx, 'tcx> ProbeContext<'a, 'gcx, 'tcx> {
+ fn elaborate_bounds<F>(&mut self, bounds: &[ty::PolyTraitRef<'tcx>], mut mk_cand: F)
+ where F: for<'b> FnMut(&mut ProbeContext<'b, 'gcx, 'tcx>, ty::PolyTraitRef<'tcx>, ty::AssociatedItem),
+ {
+ // ...
+ }
+}
diff --git a/tests/target/where-clause-rfc.rs b/tests/target/where-clause-rfc.rs
index ebfdc073eaa..f52cf3e220e 100644
--- a/tests/target/where-clause-rfc.rs
+++ b/tests/target/where-clause-rfc.rs
@@ -113,3 +113,17 @@ where
+ FromStr,
{
}
+
+// #2020
+impl<'a, 'gcx, 'tcx> ProbeContext<'a, 'gcx, 'tcx> {
+ fn elaborate_bounds<F>(&mut self, bounds: &[ty::PolyTraitRef<'tcx>], mut mk_cand: F)
+ where
+ F: for<'b> FnMut(
+ &mut ProbeContext<'b, 'gcx, 'tcx>,
+ ty::PolyTraitRef<'tcx>,
+ ty::AssociatedItem,
+ ),
+ {
+ // ...
+ }
+}