summary refs log tree commit diff
path: root/src/test/ui/impl-trait
AgeCommit message (Collapse)AuthorLines
2019-08-10Fix calls to resolver from rustdoc and HIR loweringVadim Petrochenkov-1/+1
Cleanup some surrounding code. Support resolution of intra doc links in unnamed block scopes. (Paths from rustdoc now use early resolution and no longer need results of late resolution like all the built ribs.) Fix one test hitting file path limits on Windows.
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-10 22:28:57 +0000