From d925f4d1ddef8b894e4e85a115c39b63c37cc30b Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Wed, 20 Dec 2017 16:51:33 -0500 Subject: [PATCH] fix truncated comment --- src/librustc_mir/borrow_check/nll/type_check/input_output.rs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/librustc_mir/borrow_check/nll/type_check/input_output.rs b/src/librustc_mir/borrow_check/nll/type_check/input_output.rs index 4db8e3c793dc..9e88a632f5c3 100644 --- a/src/librustc_mir/borrow_check/nll/type_check/input_output.rs +++ b/src/librustc_mir/borrow_check/nll/type_check/input_output.rs @@ -134,7 +134,10 @@ impl<'a, 'gcx, 'tcx> TypeChecker<'a, 'gcx, 'tcx> { None }); - // Finally + // Finally, if we instantiated the anon types successfully, we + // have to solve any bounds (e.g., `-> impl Iterator` needs to + // prove that `T: Iterator` where `T` is the type we + // instantiated it with). if let Some(anon_type_map) = anon_type_map { self.fully_perform_op(start_position.at_self(), |_cx| { infcx.constrain_anon_types(&anon_type_map, universal_regions);