From e778ea40701751ca15b19a8983949573ea9e3a07 Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Sat, 31 Jan 2015 20:16:17 -0500 Subject: [PATCH] Tweak comments per eddyb's suggestion. --- src/librustc_typeck/check/closure.rs | 3 ++- src/librustc_typeck/check/mod.rs | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/src/librustc_typeck/check/closure.rs b/src/librustc_typeck/check/closure.rs index 2bbf832fdef0..808dbd4b3191 100644 --- a/src/librustc_typeck/check/closure.rs +++ b/src/librustc_typeck/check/closure.rs @@ -42,7 +42,8 @@ pub fn check_expr_closure<'a,'tcx>(fcx: &FnCtxt<'a,'tcx>, // If users didn't specify what sort of closure they want, // examine the expected type. For now, if we see explicit // evidence than an unboxed closure is desired, we'll use - // that, otherwise we'll error, requesting an annotation. + // that. Otherwise, we leave it unspecified, to be filled + // in by upvar inference. match expected_sig_and_kind { None => { // don't have information about the kind, request explicit annotation check_closure(fcx, expr, None, decl, body, None); diff --git a/src/librustc_typeck/check/mod.rs b/src/librustc_typeck/check/mod.rs index 0aad1f99ce8f..268e61b994e1 100644 --- a/src/librustc_typeck/check/mod.rs +++ b/src/librustc_typeck/check/mod.rs @@ -177,7 +177,7 @@ pub struct Inherited<'a, 'tcx: 'a> { // we may not have decided yet whether `c` is a `Fn`, `FnMut`, or // `FnOnce` closure. In that case, we defer full resolution of the // call until upvar inference can kick in and make the - // decision. We keep these deferred resolutions sorted by the + // decision. We keep these deferred resolutions grouped by the // def-id of the closure, so that once we decide, we can easily go // back and process them. deferred_call_resolutions: RefCell>>>,