about summary refs log tree commit diff
path: root/src/test/ui/impl-trait
AgeCommit message (Collapse)AuthorLines
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
2018-12-25Remove licensesMark Rousskov-530/+151
2018-12-20Point at coercion source on type errors for fn returning `impl Trait`Esteban Küber-0/+3
2018-12-04Update testsOliver Scherer-5/+12
2018-11-03Regression test for issue 55608.Felix S. Klock II-0/+33
2018-10-18Rollup merge of #55102 - petrochenkov:trextra, r=nikomatsakiskennytm-0/+20
resolve: Do not skip extern prelude during speculative resolution Fixes https://github.com/rust-lang/rust/issues/54665
2018-10-17resolve: Do not skip extern prelude during speculative resolutionVadim Petrochenkov-0/+20
2018-10-17Update output for borrowck=migrate compare mode.David Wood-86/+0
This commit updates the test output for the updated NLL compare mode that uses `-Z borrowck=migrate` rather than `-Z borrowck=mir`. The previous commit changes `compiletest` and this commit only updates `.nll.stderr` files.
2018-10-11structured suggestion for E0223 ambiguous associated typeZack M. Davis-3/+1
It looks like we tend to use angle-brackets around the placeholder in the few other places we use `Applicability::HasPlaceholders`, but that would be confusing here, so ...
2018-10-07Auto merge of #54810 - 1aim:unused-impl-trait, r=oli-obkbors-0/+73
Fix dead code lint for functions using impl Trait Fixes https://github.com/rust-lang/rust/issues/54754 This is a minimal fix that doesn't add any new queries or touches unnecessary code. Please nominate for beta backport if wanted.
2018-10-05Auto merge of #54741 - oli-obk:impl_trait_hierarchy, r=cramertjbors-0/+19
Nest the `impl Trait` existential item inside the return type fixes #54045 r? @cramertj
2018-10-04Convert issue-49376.rs to compile-passJonas Schievink-0/+31
2018-10-04Convert existential-minimal.rs to compile-passJonas Schievink-0/+15
2018-10-04Convert impl-trait/issue-42479.rs to compile-passJonas Schievink-0/+27
2018-10-02Nest the `impl Trait` existential item inside the return typeOliver Schneider-0/+19
2018-09-30Added help message for `impl_trait_in_bindings` feature gate.Alexander Regueiro-0/+2
2018-09-26use the closure def-id in returns, but closure-base def-id in localsNiko Matsakis-0/+14
Using the `closure_base_def_id` indiscriminantely, as we were doing before, winds up "going wrong" if the closure type includes the `impl Trait` from the parent. The problem arises because the return value for closures is inferred and meant to treat the return type *opaquely*, so we don't want to be "desugaring" it into the underlying type.
2018-09-25Added tests.Alexander Regueiro-1/+114
2018-09-19Update ui testsMatthew Jasper-8/+8
2018-09-18Auto merge of #53900 - davidtwco:issue-53771, r=nikomatsakisbors-0/+14
NLL regresses diagnostic for impl-trait/static-return-lifetime-infered.rs Fixes #53771. r? @nikomatsakis cc @pnkfelix @estebank
2018-09-14Rollup merge of #53829 - alexcrichton:release-debuginfo, r=michaelwoeristerkennytm-3/+6
Add rustc SHA to released DWARF debuginfo This commit updates the debuginfo that is encoded in all of our released artifacts by default. Currently it has paths like `/checkout/src/...` but these are a little inconsistent and have changed over time. This commit instead attempts to actually define the file paths in our debuginfo to be consistent between releases. All debuginfo paths are now intended to be `/rustc/$sha` where `$sha` is the git sha of the released compiler. Sub-paths are all paths into the git repo at that `$sha`.
2018-09-13Updated suggestion/help messages.David Wood-7/+5
2018-09-13Emit appropriate suggestion when there's already 'static bound on the return ↵David Wood-3/+3
type.
2018-09-13Don't suggest adding a synthesized region name.David Wood-2/+2
2018-09-13Added help message for impl trait static constraint.David Wood-0/+16
2018-09-10Add rustc SHA to released DWARF debuginfoAlex Crichton-3/+6
This commit updates the debuginfo that is encoded in all of our released artifacts by default. Currently it has paths like `/checkout/src/...` but these are a little inconsistent and have changed over time. This commit instead attempts to actually define the file paths in our debuginfo to be consistent between releases. All debuginfo paths are now intended to be `/rustc/$sha` where `$sha` is the git sha of the released compiler. Sub-paths are all paths into the git repo at that `$sha`.
2018-09-08Auto merge of #53705 - ms2300:tmp, r=oli-obkbors-2/+2
#53576 Renaming TyAnon -> TyOpaque Fixes #53576
2018-09-06Fix testsWesley Wiser-2/+2
2018-09-06Fixing tests from anon -> opaquems2300-2/+2
2018-09-01Update testsBasile Desloges-48/+0
2018-08-27fix anotherMark Mansi-1/+1
2018-08-21Normalize source line and column numbers.David Wood-1/+1
This commit adds a normalization for line and column numbers in stderr files where the line/col is from the source directory rather than the test itself - thereby removing the need to update tests as compiler source changes.
2018-08-14Update former compile-fail testsMatthew Jasper-3/+3
2018-08-14Merged migrated compile-fail tests and ui tests. Fixes #46841.David Wood-0/+931
2018-08-02Explicitly label any named lifetimes mentioned in error messages.David Wood-0/+2
2018-07-27Auto merge of #52648 - davidtwco:issue-52533, r=nikomatsakisbors-7/+5
[nll] improve the "fully elaborated type" case in region errors Fixes #52533. r? @nikomatsakis
2018-07-27Region inference error messages no longer start with 'free region'David Wood-2/+2
2018-07-27Change label from closure to function where appropriate.David Wood-7/+5
2018-07-27Auto merge of #52650 - oli-obk:associated_existential_types, r=nikomatsakisbors-0/+104
Implement associated existential types r? @nikomatsakis no idea if these work with generic traits. I'm going home for the day :rofl:
2018-07-26Auto merge of #52488 - nikomatsakis:nll-issue-48071-universe-and-sub, r=pnkfelixbors-5/+7
introduce universes to NLL type check This branch aims to fix #48071 and also advance chalk integration a bit at the same time. It re-implements the subtyping/type-equating check so that NLL doesn't "piggy back" on the subtyping code of the old type checker. This new code uses the "universe-based" approach to handling higher-ranked lifetimes, which sidesteps some of the limitations of the current "leak-based" scheme. This avoids the ICE in #48071. At the same time, I aim for this to potentially be a kind of optimization. This NLL code is (currently) not cached, but it also generates constraints without doing as much instantiation, substitution, and folding. Right now, though, it still piggy backs on the `relate_tys` trait, which is a bit unfortunate -- it means we are doing more hashing and things than we have to. I want to measure the see the perf. Refactoring that trait is something I'd prefer to leave for follow-up work. r? @pnkfelix -- but I want to measure perf etc first
2018-07-25improve heuristics for what makes an interesting constraintNiko Matsakis-5/+7
2018-07-25Fix associated existentials for generic traitsOliver Schneider-0/+40
2018-07-24Allow declaring existential types inside blocksOliver Schneider-0/+22
2018-07-23Implement associated existential typesOliver Schneider-0/+64
2018-07-18Move some tests aroundOliver Schneider-36/+0
2018-07-18Add test for using existential types in associated typesOliver Schneider-0/+36
2018-07-18Typeck existential types properlyOliver Schneider-9/+49
2018-07-13Use the correct visibilityOliver Schneider-0/+35
2018-07-09find and highlight the `&` or `'_` in `region_name`Niko Matsakis-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-28 04:01:45 +0000