Ariel Ben-Yehuda
8a461d940c
suggest adding a where-clause when that can help
...
suggest adding a where-clause when there is an unmet trait-bound that
can be satisfied if some type can implement it.
2016-04-05 20:58:58 +03:00
Jeffrey Seyfried
da41e583d6
Fix fallout in tests
2016-03-30 22:00:48 +00:00
Huon Wilson
7a14f4994e
Update tests for the Send - 'static change.
2015-02-18 11:27:51 +11:00
Niko Matsakis
503e15b7c9
Address nits by @pnkfelix
2015-02-16 11:58:47 -05:00
Huon Wilson
0c70ce1424
Update compile fail tests to use isize.
2015-01-08 11:02:24 -05:00
Niko Matsakis
9f492fefef
Switch to using predicates to drive checking. Correct various tests --
...
in most cases, just the error message changed, but in some cases we
are reporting new errors that OUGHT to have been reported before but
we're overlooked (mostly involving the `'static` bound on `Send`).
2014-12-12 20:25:21 -05:00
Niko Matsakis
4c01251416
Introduce new inference scheme: variables are now instantiated with at most one type, and region variables are introduced as needed
2014-08-29 10:21:54 -04:00
