---

yaml
---
r: 227679
b: refs/heads/try
c: c8a0b0e
h: refs/heads/master
i:
  227677: a1dfd18
  227675: 53daa1b
  227671: 4948d0d
  227663: e6f329c
  227647: 7ab28f8
v: v3

Author: Nashenas88

[refs]

@@ -1,7 +1,7 @@
 ---
 refs/heads/master: aca2057ed5fb7af3f8905b2bc01f72fa001c35c8
 refs/heads/snap-stage3: 1af31d4974e33027a68126fa5a5a3c2c6491824f
-refs/heads/try: 0230a530ce54102325537dc63dcabc45f5935771
+refs/heads/try: c8a0b0eece9e3ac852413bc715f788261a217e74
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
 refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503

branches/try/src/librustc_typeck/check/method/suggest.rs

@@ -73,33 +73,42 @@ pub fn report_error<'a, 'tcx>(fcx: &FnCtxt<'a, 'tcx>,
                                         // snippet
                     };
 
-                    // Determine if the field can be used as a function in some way
-                    let fn_once_trait_did = match cx.lang_items.require(FnOnceTraitLangItem) {
-                        Ok(trait_did) => trait_did,
-                        Err(err) => cx.sess.fatal(&err[..])
-                    };
+                    fn span_stored_function() {
+                        cx.sess.span_note(span, &format!("use `({0}.{1})(...)` if you meant to call \
+                                                          the function stored in the `{1}` field",
+                                                         expr_string, item_name));
+                    }
 
-                    let field_ty = ty::lookup_field_type(cx, did, field.id, substs);
-                    let field_ty_substs = Substs::new_trait(vec![fcx.inh.infcx.next_ty_var()],
-                                                            Vec::new(),
-                                                            field_ty);
-                    let trait_ref = ty::TraitRef::new(fn_once_trait_did,
-                                                      cx.mk_substs(field_ty_substs));
-                    let poly_trait_ref = trait_ref.to_poly_trait_ref();
-                    let obligation = Obligation::misc(span,
-                                                      fcx.body_id,
-                                                      poly_trait_ref.as_predicate());
-                    let mut selcx = SelectionContext::new(fcx.infcx(), fcx);
-
-                    if selcx.evaluate_obligation(&obligation) {
-                        cx.sess.span_note(span,
-                            &format!("use `({0}.{1})(...)` if you meant to call the \
-                                      function stored in the `{1}` field",
-                                expr_string, item_name));
-                    } else {
+                    fn span_did_you_mean() {
                         cx.sess.span_note(span, &format!("did you mean to write `{0}.{1}`?",
                                                          expr_string, item_name));
                     }
+
+                    // Determine if the field can be used as a function in some way
+                    let field_ty = ty::lookup_field_type(cx, did, field.id, substs);
+                    if let Ok(fn_once_trait_did) = cx.lang_items.require(FnOnceTraitLangItem) {
+                        let fn_once_substs = Substs::new_trait(vec![fcx.inh.infcx.next_ty_var()],
+                                                               Vec::new(),
+                                                               field_ty);
+                        let trait_ref = ty::TraitRef::new(fn_once_trait_did,
+                                                          cx.mk_substs(fn_once_substs));
+                        let poly_trait_ref = trait_ref.to_poly_trait_ref();
+                        let obligation = Obligation::misc(span,
+                                                          fcx.body_id,
+                                                          poly_trait_ref.as_predicate());
+                        let mut selcx = SelectionContext::new(fcx.infcx(), fcx);
+
+                        if selcx.evaluate_obligation(&obligation) {
+                            span_stored_function();
+                        } else {
+                            span_did_you_mean();
+                        }
+                    } else {
+                        match field_ty.sty {
+                            ty::TyClosure(_,_) | ty::TyFnPtr(_,_) => span_stored_function(),
+                            _ => span_did_you_mean(),
+                        }
+                    }
                 }
             }