about summary refs log tree commit diff
path: root/src/test/run-pass/impl-trait/lifetimes.rs
AgeCommit message (Collapse)AuthorLines
2019-07-27tests: Move run-pass tests without naming conflicts to uiVadim Petrochenkov-123/+0
2019-05-12Treat generators the same as closure for escaping lifetimesMatthew Jasper-0/+6
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-19FIXME(45992) remove fixme since the lint is being testedNiv Kaminer-1/+0
2018-09-26Migrate `src/test/ui/run-pass/*` back to `src/test/run-pass/`.Felix S. Klock II-0/+128
Fix #54047
2018-09-06Migrated remaining `src/test/run-pass/` subdirectories to ↵Felix S. Klock II-126/+0
`src/test/ui/run-pass/`.
2018-03-29Stabilize underscore lifetimesTaylor Cramer-1/+0
2018-03-26Stabilize conservative_impl_traitTaylor Cramer-1/+1
2018-03-26Stabilize universal_impl_traitTaylor Cramer-1/+1
2018-03-06make bounds on higher-kinded lifetimes a hard error in ast_validationRalf Jung-2/+2
Also move the check for not having type parameters into ast_validation. I was not sure what to do with compile-fail/issue-23046.rs: The issue looks like maybe the bounds actually played a role in triggering the ICE, but that seems unlikely given that the compiler seems to entirely ignore them. However, I couldn't find a testcase without the bounds, so I figured the best I could do is to just remove the bounds and make sure at least that keeps working.
2018-02-24Rollup merge of #48084 - cramertj:impl-trait-errors, r=nikomatsakisManish Goregaokar-6/+5
Error on nested impl Trait and path projections from impl Trait cc #34511 r? @nikomatsakis
2018-02-13Make nested impl Trait a hard errorTaylor Cramer-6/+5
2018-02-08fix nested impl trait lifetimesTaylor Cramer-0/+8
2017-12-21Add a feature gate for nested uses of `impl Trait`Taylor Cramer-1/+1
2017-12-15Refactor argument-position impl TraitTaylor Cramer-3/+2
2017-12-12Implement impl Trait lifetime elisionTaylor Cramer-1/+25
2017-11-17Fix impl Trait Lifetime HandlingTaylor Cramer-0/+97
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.