summary refs log tree commit diff
path: root/src/test/ui/impl-trait
AgeCommit message (Collapse)AuthorLines
2019-07-02fix ICE with delay-span-bugNiko Matsakis-0/+18
2019-07-02address nitsNiko Matsakis-5/+5
2019-07-02more nits + typosNiko Matsakis-2/+2
2019-07-02feature-gate member constraints outside of async-awaitNiko Matsakis-7/+23
Minimizes risk.
2019-07-02bless test outputNiko Matsakis-6/+3
2019-07-02address nits by mattewjasperNiko Matsakis-33/+0
2019-07-02account for the pick-constraint edges when reporting errorsNiko Matsakis-0/+36
Also, thread through better span info to improve the error message to something tolerable.
2019-07-02test with explicit existential typeNiko Matsakis-0/+2
2019-07-02add a preliminary existential test; not really enoughNiko Matsakis-0/+29
2019-07-02add a FIXME related to the non-free-region caseNiko Matsakis-0/+27
I don't think it would actually be harmful to just ignore such cases but I'm inclined not to take chances.
2019-07-02fix tests and remove outdated stderr filesNiko Matsakis-54/+0
2019-07-02improve tests with migration mode, mir modeNiko Matsakis-94/+101
2019-07-02remove old error and add an explanationNiko Matsakis-49/+13
2019-07-02enforce and report pick-constraint errorsNiko Matsakis-13/+154
The error message here is not great.
2019-07-02integrate pick constraints into lexical solver more completelyNiko Matsakis-3/+0
2019-07-02add some tests, currently ICE-ingNiko Matsakis-0/+241
2019-06-06Reblessed tests with NLL compare mode on.Alexander Regueiro-4/+4
2019-06-04Rollup merge of #61499 - varkor:issue-53457, r=oli-obkMazdak Farrokhzad-0/+15
Add regression test for existential type ICE #53457 Closes #53457.
2019-06-03Add ui/impl-trait/issues foldervarkor-0/+0
2019-06-03Add a regression test for #53457varkor-0/+15
2019-05-30Remove unecessary `-Z continue-parse-after-error` from testsEsteban Küber-1/+1
2019-05-29Rollup merge of #60756 - matthewjasper:extra-impl-trait-tests, r=nikomatsakisMazdak Farrokhzad-0/+102
Add better tests for hidden lifetimes in impl trait cc #60670
2019-05-24Move async/await tests to test/ui/async-awaitvarkor-22/+0
2019-05-18Add better tests for hidden lifetimes in impl traitMatthew Jasper-0/+102
2019-05-17Auto merge of #60171 - matthewjasper:full-nll-compare-mode, r=pnkfelixbors-8/+91
Use -Zborrowck=mir for NLL compare mode closes #56993 r? @pnkfelix
2019-05-13add impl_trait_in_bindings to INCOMPLETE_FEATURESPulkit Goyal-7/+21
impl_trait_in_bindings is not yet complete and can lead to compiler crashes. Fixes #60764.
2019-05-12Remove feature(nll) when compare mode is sufficientMatthew Jasper-8/+3
2019-05-12Change compare mode to use -Zborrowck=mirMatthew Jasper-0/+88
2019-05-12Always use the stronger outlives version for opaque typesMatthew Jasper-0/+11
2019-05-02Constrain all regions in the concrete type for an opaque typeMatthew Jasper-13/+43
2019-04-23Stabilize futures_apiTaylor Cramer-2/+2
2019-04-23Update ui testsvarkor-19/+19
2019-04-23Remove unnecessary ignore-tidy-linelengthvarkor-6/+0
2019-04-22Remove double trailing newlinesvarkor-1/+0
2019-04-18hide `--explain` hint if error has no extended infoAndy Russell-12/+6
2019-03-31Suggest using anonymous lifetime in `impl Trait` return without hacksEsteban Küber-10/+14
Fallback to `static_impl_trait` for nice error message by peeking at the return type and the lifetime type. Point at the return type instead of the return expr/stmt in NLL mode.
2019-03-29Suggest using anonymous lifetime in `impl Trait` returnEsteban Küber-3/+9
2019-03-15rustc: provide DisambiguatedDefPathData in ty::print.Eduard-Mihai Burtescu-6/+6
2019-03-12Auto merge of #58608 - ↵bors-0/+212
pnkfelix:warning-period-for-detecting-nested-impl-trait, r=zoxc Warning period for detecting nested impl trait Here is some proposed code for making a warning period for the new checking of nested impl trait. It undoes some of the corrective effects of PR #57730, by using boolean flags to track parts of the analysis that were previously skipped prior to PRs #57730 and #57981 landing. Cc #57979
2019-03-11Update testsVadim Petrochenkov-29/+29
2019-03-11Test illustrating that the nested_impl_trait lint should only catch shallow ↵Felix S. Klock II-0/+72
cases.
2019-03-08Unit (and regression) tests for warning cycle code.Felix S. Klock II-0/+140
2019-02-24Deny `async fn` in 2015 editionNathan Corbyn-16/+26
Fix style issues and update diagnostic messages Update src/librustc_passes/diagnostics.rs Co-Authored-By: doctorn <me@nathancorbyn.com> Deny nested `async fn` in Rust 2015 edition Deny nested `async fn` in Rust 2015 edition Deny nested `async fn` in Rust 2015 edition
2019-02-07Resolve incorrect diagnostic for using a non-const value in a constantvarkor-21/+13
2019-01-24Rollup merge of #57793 - estebank:impl-trait-resolve, r=oli-obkMazdak Farrokhzad-1/+4
Explain type mismatch cause pointing to return type when it is `impl Trait` Fix #57743.
2019-01-20Explain type mismatch cause pointing to return type when it is `impl Trait`Esteban Küber-1/+4
2019-01-20Remove unnecessary dummy span checksEsteban Küber-3/+3
The emitter already verifies wether a given span note or span label can be emitted to the output. If it can't, because it is a dummy span, it will be either elided for labels or emitted as an unspanned note/help when applicable.
2019-01-11Update testsJohn Kåre Alsaker-0/+22
2019-01-03Forbid impl Trait from referring to unnamable recursive typesMatthew Jasper-8/+222
There is no type T, such that `T = [T; 2]`, we should not allow this to be circumvented by impl Trait.
2019-01-01privacy: Use common `DefId` visiting infra for all privacy visitorsVadim Petrochenkov-1/+3