From cb26a25d4b355e9836fc139bb71ad96d37e6c265 Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Thu, 29 Jun 2017 18:02:31 -0400 Subject: [PATCH] tweak comments in E0495.rs --- src/test/compile-fail/E0495.rs | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/test/compile-fail/E0495.rs b/src/test/compile-fail/E0495.rs index e47c4d7199c..55871a90f23 100644 --- a/src/test/compile-fail/E0495.rs +++ b/src/test/compile-fail/E0495.rs @@ -8,7 +8,12 @@ // option. This file may not be copied, modified, or distributed // except according to those terms. -// FIXME - This test gives different results on different machines. +// Test that we give the generic E0495 when one of the free regions is +// bound in a closure (rather than suggesting a change to the signature +// of the closure, which is not specified in `foo` but rather in `invoke`). + +// FIXME - This might be better as a UI test, but the finer details +// of the error seem to vary on different machines. fn invoke<'a, F>(x: &'a i32, f: F) -> &'a i32 where F: FnOnce(&'a i32, &i32) -> &'a i32 {