about summary refs log tree commit diff
path: root/src/test/ui/impl-trait
AgeCommit message (Collapse)AuthorLines
2019-08-02Fix fallout after rebasevarkor-2/+2
2019-08-02Replace "existential" by "opaque"varkor-10/+10
2019-08-02Update syntax in existing testsvarkor-65/+85
2019-07-30--bless tests due to INCOMPLETE_FEATURES being a lint.Mazdak Farrokhzad-6/+14
2019-07-27tests: Move run-pass tests with naming conflicts to uiVadim Petrochenkov-0/+69
2019-07-27tests: Move run-pass tests without naming conflicts to uiVadim Petrochenkov-0/+1195
2019-07-21normalize use of backticks in compiler messages for librustc/hirSamy Kacimi-1/+1
https://github.com/rust-lang/rust/issues/60532
2019-07-19Auto merge of #62684 - petrochenkov:scopevisit, r=davidtwcobors-11/+10
resolve: Improve candidate search for unresolved macro suggestions Use same scope visiting machinery for both collecting suggestion candidates and actually resolving the names. The PR is better read in per-commit fashion with whitespace changes ignored (the first commit in particular moves some code around). This should be the last pre-requisite for https://github.com/rust-lang/rust/pull/62086. r? @davidtwco
2019-07-18Rollup merge of #62777 - gilescope:self-referencial-to-recursion, r=eddybMark Rousskov-16/+16
Self-referencial type now called a recursive type As per Boat's suggestion - #62539, this makes the error message clearer.
2019-07-18resolve: Attempt to resolve unresolved paths in macro namespaceVadim Petrochenkov-11/+10
2019-07-18Self-referencial type renamed to recursive type.Giles Cope-16/+16
2019-07-09Auto merge of #62221 - jonas-schievink:normalize-impl-trait, r=nikomatsakisbors-0/+197
Normalize projections appearing in `impl Trait` Fixes #60414 This does not try to do the same for `existential type`s (which have the same bug), since that always seems to lead to cycle errors.
2019-07-09rewrite the test to workaround #51525Niko Matsakis-2/+8
2019-07-09Rollup merge of #62090 - ↵Mazdak Farrokhzad-0/+127
davidtwco:ice-async-await-out-of-range-substitution, r=nikomatsakis typeck: merge opaque type inference logic Fixes #55872. See [relevant Zulip topic](https://rust-lang.zulipchat.com/#narrow/stream/187312-wg-async-foundations/topic/type.20parameter.20out.20of.20range.20.2355872). r? @nikomatsakis
2019-07-06Remove compile-pass from compiletestYuki Okushi-4/+4
Also change annotations in some tests
2019-07-04Rollup merge of #62317 - JohnTitor:move-tests-to-build-pass, r=CentrilMazdak Farrokhzad-13/+13
Migrate `compile-pass` annotations to `build-pass` This is a part of #62277. As a first step, the `compile-pass` tests are migrated to `build-pass`. r? @cramertj cc @Centril
2019-07-03Normalize projections in opaque typesJonas Schievink-0/+191
2019-07-03typeck: merge opaque type inference logicDavid Wood-0/+127
This commit merges the logic used for opaque type type inference for impl Trait and non-impl Trait cases. This fixes an ICE where existential types used in the return types of functions would be allowed to have an out-of-scope generic type parameter.
2019-07-03Migrate compile-pass annotations to build-passYuki Okushi-13/+13
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-27 07:04:17 +0000