about summary refs log tree commit diff
path: root/src/test/compile-fail/impl-trait
AgeCommit message (Collapse)AuthorLines
2018-08-14Moved compile-fail tests to ui tests.David Wood-387/+0
2018-05-21Move a test to ui tests so we can observe the output changes betterOliver Schneider-42/+0
2018-04-28Rollup merge of #49968 - christianpoveda:stabilize_dyn, r=nikomatsakiskennytm-1/+0
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-27fixed testsChristian Poveda-3/+0
2018-04-27removed dyn_trait feature from testsChristian Poveda-1/+3
2018-04-26Do not ICE on generics mismatch with non-local traitsShotaro Yamada-0/+11
Fixes #49841
2018-03-26Stabilize conservative_impl_traitTaylor Cramer-11/+1
2018-03-26Stabilize universal_impl_traitTaylor Cramer-3/+1
2018-02-13Make nested impl Trait a hard errorTaylor Cramer-1/+3
2018-01-17track recursion limit when expanding existential impl traitNiko Matsakis-0/+39
2018-01-10Updated other tests affected by change.David Wood-1/+1
2017-12-21Add a feature gate for nested uses of `impl Trait`Taylor Cramer-1/+1
2017-12-07Migrate even more feature gate tests to uiest31-16/+0
We also rename some of the files to conform to the feature-gate-<feat_name>.rs pattern that is most common.
2017-12-07Migrate a few feature gate tests to uiest31-16/+0
Renames only in this commit, and obviously .stderr file additions.
2017-11-26Move "auto trait leak" impl-trait cycle dependency test to uiEsteban Küber-69/+0
2017-11-17Fix impl Trait Lifetime HandlingTaylor Cramer-43/+86
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-15Add cases to where-allowed.rsChristopher Vittal-4/+9
2017-11-15Incorporate review feedbackChristopher Vittal-2/+0
Add requested comments, restructure some small bits of code. Fix extern declarations allowing impl Trait.
2017-11-15extend `where-allowed.rs` with many more casesNiko Matsakis-93/+179
also merge disallowed and disallowed-2 into that set
2017-11-15rename many-cases to where-allowedNiko Matsakis-0/+0
2017-11-15test we reject equivalent signatures with more than one argumentNiko Matsakis-0/+23
2017-11-15Remove unamed parametersChristopher Vittal-2/+2
2017-11-15Add/Modify tests for argument position impl TraitChristopher Vittal-5/+103
2017-11-15Add universal_impl_trait feature gateChristopher Vittal-1/+17
Move feature gate check to inside HIR lowering. Change error messages and update tests.
2017-05-17Add better error message when == operator is badly usedGuillaume Gomez-2/+0
2017-04-10Explicit help message for binop type missmatchEsteban Küber-72/+0
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-02-25rustc_typeck: hook up collect and item/body check to on-demand.Eduard-Mihai Burtescu-27/+7
2017-01-28rustc_typeck: move impl Trait checks out of RegionScope.Eduard-Mihai Burtescu-1/+1
2017-01-24Add testsVadim Petrochenkov-0/+15
2017-01-12Mark even more tests as gate testsest31-0/+2
Now, no feature outside of the whitelist is without a test marked as its gate test.
2016-10-24Rollup merge of #37324 - GuillaumeGomez:trait_error_message, r=jonathandturnerJonathan Turner-4/+4
Improve E0277 help message Fixes #37319. r? @jonathandturner
2016-10-21Improve E0277 help messageGuillaume Gomez-4/+4
2016-10-20improve "Doesn't live long enough" errorMikhail Modin-23/+0
2016-08-25Update E0277 to new error formatMohit Agarwal-0/+4
Fixes #35311. Part of #35233. r? @jonathandturner
2016-08-17Move 'doesn't live long enough' errors to labelsJonathan Turner-3/+3
2016-08-12test: add more extensive tests for impl Trait.Eduard Burtescu-0/+248
2016-08-12typeck: leak auto trait obligations through impl Trait.Eduard Burtescu-0/+70