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
Niko Matsakis
9b5accade7
Fallout in tests
2015-04-02 13:24:46 -04:00
Niko Matsakis
872ce47955
Fallout: tests. As tests frequently elide things, lots of changes
...
here. Some of this may have been poorly rebased, though I tried to be
careful and preserve the spirit of the test.
2015-02-18 10:25:28 -05:00
Niko Matsakis
09783d1dab
Update test files; mostly the problem is that they were using the
...
explicit form `Fn<A,B>` and now should use `Fn(A) -> B` or
`Fn<A,Output=B>`, but in some cases we get duplicate error
reports. This is mildly annoying and arises because of the main error
and another error from the projection. Might be worth squashing those,
but seems like a separate problem.
2015-01-28 05:15:24 -05:00
Huon Wilson
85f961e2cc
Update compile fail tests to use usize.
2015-01-08 11:02:24 -05:00
Huon Wilson
0c70ce1424
Update compile fail tests to use isize.
2015-01-08 11:02:24 -05:00
Alex Crichton
384e218789
Merge remote-tracking branch 'nrc/sized-2' into rollup
...
Conflicts:
src/liballoc/boxed.rs
src/libcollections/btree/map.rs
src/libcollections/slice.rs
src/libcore/borrow.rs
src/libcore/cmp.rs
src/libcore/ops.rs
src/libstd/c_str.rs
src/libstd/collections/hash/map.rs
src/libsyntax/parse/obsolete.rs
src/test/compile-fail/unboxed-closure-sugar-default.rs
src/test/compile-fail/unboxed-closure-sugar-equiv.rs
src/test/compile-fail/unboxed-closure-sugar-lifetime-elision.rs
src/test/compile-fail/unboxed-closure-sugar-region.rs
src/test/compile-fail/unsized3.rs
src/test/run-pass/associated-types-conditional-dispatch.rs
2015-01-05 18:55:41 -08:00
Nick Cameron
e0684e8769
Fallout
2015-01-06 14:20:48 +13:00
Jorge Aparicio
774588fd9d
sed -i -s 's/ for Sized?//g' **/*.rs
2015-01-05 14:56:49 -05:00
Niko Matsakis
1718cd6ee0
Remove all shadowed lifetimes.
2014-12-15 10:23:48 -05:00
Huon Wilson
b800ce1608
Implement lifetime elision for Foo(...) -> ... type sugar.
...
This means that `Fn(&A) -> (&B, &C)` is equivalent to `for<'a> Fn(&'a A)
-> (&'a B, &'a C)` similar to the lifetime elision of lower-case `fn` in
types and declarations.
Closes #18992 .
2014-12-05 19:04:13 -08:00
Niko Matsakis
56ba260749
Update test for equivalency to include region binders in object types, add new tests relating to HRTB, consolidate the unboxed_closures and overloaded_calls feature gates.
2014-11-18 12:32:38 -05:00
Niko Matsakis
058abcc209
Place parenthetical notation under the unboxed_closure feature-gate.
...
Consolidate the `unboxed_closure_sugar` and `unboxed_closure` feature gates.
2014-11-18 12:26:04 -05:00
Niko Matsakis
221edbae38
Support parenthesized paths Foo(A,B) -> C that expand to Foo<(A,B),C>. These paths also bind anonymous regions (or will, once HRTB is fully working).
...
Fixes #18423 .
2014-11-06 06:48:23 -05:00
