Oliver Schneider
00842d10cd
Move a test to ui tests so we can observe the output changes better
2018-05-21 09:59:37 +02:00
kennytm
8b36d9abaa
Rollup merge of #49968 - christianpoveda:stabilize_dyn, r=nikomatsakis
...
Stabilize dyn trait
This PR stabilizes RFC 2113. I followed the [stabilization guide](https://forge.rust-lang.org/stabilization-guide.html ).
Related issue: https://github.com/rust-lang/rust/issues/49218
2018-04-28 03:32:12 +08:00
Christian Poveda
b80472d84c
fixed tests
2018-04-27 11:02:36 -05:00
Christian Poveda
c86f1c8cc3
removed dyn_trait feature from tests
2018-04-27 10:04:35 -05:00
Shotaro Yamada
98c2e0976d
Do not ICE on generics mismatch with non-local traits
...
Fixes #49841
2018-04-26 21:56:21 +09:00
Taylor Cramer
0f5b52e4a8
Stabilize conservative_impl_trait
2018-03-26 10:43:03 +02:00
Taylor Cramer
c393db67ba
Stabilize universal_impl_trait
2018-03-26 07:39:38 +02:00
Taylor Cramer
75f72c0de1
Make nested impl Trait a hard error
2018-02-13 17:34:26 -08:00
Niko Matsakis
072c3daa4c
track recursion limit when expanding existential impl trait
2018-01-17 18:01:17 -05:00
David Wood
1aa454e1e6
Updated other tests affected by change.
2018-01-10 19:12:57 +00:00
Taylor Cramer
c026d19baf
Add a feature gate for nested uses of impl Trait
2017-12-21 09:28:29 -08:00
est31
6dba3e68e6
Migrate even more feature gate tests to ui
...
We also rename some of the files to conform to the
feature-gate-<feat_name>.rs pattern that is most common.
2017-12-07 10:14:41 +01:00
est31
38438c618c
Migrate a few feature gate tests to ui
...
Renames only in this commit, and obviously
.stderr file additions.
2017-12-07 10:14:39 +01:00
Esteban Küber
aabb604313
Move "auto trait leak" impl-trait cycle dependency test to ui
2017-11-26 12:32:30 -08:00
Taylor Cramer
bc4810d907
Fix impl Trait Lifetime Handling
...
After this change, impl Trait existentials are
desugared to a new `abstract type` definition
paired with a set of lifetimes to apply.
In-scope generics are included as parents of the
`abstract type` generics. Parent regions are
replaced with static, and parent regions
referenced in the `impl Trait` type are duplicated
at the end of the `abstract type`'s generics.
2017-11-17 10:01:54 -08:00
Christopher Vittal
22f0940f2d
Add cases to where-allowed.rs
2017-11-15 15:46:01 -05:00
Christopher Vittal
9b4372e3b1
Incorporate review feedback
...
Add requested comments, restructure some small bits of code. Fix extern
declarations allowing impl Trait.
2017-11-15 15:46:01 -05:00
Niko Matsakis
37dd79ff44
extend where-allowed.rs with many more cases
...
also merge disallowed and disallowed-2 into that set
2017-11-15 15:46:01 -05:00
Niko Matsakis
ebc4408fc0
rename many-cases to where-allowed
2017-11-15 15:46:01 -05:00
Niko Matsakis
2520279604
test we reject equivalent signatures with more than one argument
2017-11-15 15:46:01 -05:00
Christopher Vittal
7d25d2e054
Remove unamed parameters
2017-11-15 15:46:01 -05:00
Christopher Vittal
06dff80061
Add/Modify tests for argument position impl Trait
2017-11-15 15:46:01 -05:00
Christopher Vittal
bdff9463a0
Add universal_impl_trait feature gate
...
Move feature gate check to inside HIR lowering. Change error messages
and update tests.
2017-11-15 15:46:01 -05:00
Guillaume Gomez
747287a2b3
Add better error message when == operator is badly used
2017-05-17 22:17:53 +02:00
Esteban Küber
be8787dfe5
Explicit help message for binop type missmatch
...
When trying to do a binary operation with missing implementation, for
example `1 + Some(2)`, provide an explicit help message:
```
note: no implementation for `{integer} + std::option::Option<{integer}>`
```
Use `rustc_on_unimplemented` for the suggestions. Move cfail test to ui.
2017-04-10 14:28:38 -07:00
Eduard-Mihai Burtescu
ba11640179
rustc_typeck: hook up collect and item/body check to on-demand.
2017-02-25 18:35:25 +02:00
Eduard-Mihai Burtescu
9783947c2a
rustc_typeck: move impl Trait checks out of RegionScope.
2017-01-28 02:56:46 +02:00
Vadim Petrochenkov
a8f5047430
Add tests
2017-01-24 22:56:02 +03:00
est31
6a29fab274
Mark even more tests as gate tests
...
Now, no feature outside of the whitelist is
without a test marked as its gate test.
2017-01-12 23:53:02 +01:00
Jonathan Turner
050499c407
Rollup merge of #37324 - GuillaumeGomez:trait_error_message, r=jonathandturner
...
Improve E0277 help message
Fixes #37319 .
r? @jonathandturner
2016-10-24 15:41:29 -07:00
Guillaume Gomez
1fadd868cd
Improve E0277 help message
2016-10-21 16:13:52 +02:00
Mikhail Modin
e85277596e
improve "Doesn't live long enough" error
2016-10-20 22:51:51 +03:00
Mohit Agarwal
874a20d01d
Update E0277 to new error format
...
Fixes #35311 .
Part of #35233 .
r? @jonathandturner
2016-08-25 18:26:04 +05:30
Jonathan Turner
70ce90c320
Move 'doesn't live long enough' errors to labels
2016-08-17 15:24:42 -07:00
Eduard Burtescu
23f0494114
test: add more extensive tests for impl Trait.
2016-08-12 06:46:31 +03:00
Eduard Burtescu
08bf9f69b9
typeck: leak auto trait obligations through impl Trait.
2016-08-12 06:46:31 +03:00
