2 Commits

Author	SHA1	Message	Date
Niko Matsakis	47f18659ff	Update compile-fail tests to use the expected type to force the ... closure kind, thereby detecting what happens if there are mismatches. Simply removing the `:` annotations caused most of these tests to pass or produce other errors, because the inference would convert the closure into a more appropriate kind. (The ability to override the inference by using the expected type is an important backdoor partly for this reason.)	2015-02-03 11:55:46 -05:00
Flavio Percoco	127dac4990	Don't make unboxed closures implicitly copiable ... The fix just checks if the bound is `Copy` and returns an `Err` if so. Closes: #19817	2014-12-16 11:44:10 +01:00