about summary refs log tree commit diff
path: root/src/test/ui/impl-trait
AgeCommit message (Collapse)AuthorLines
2018-06-26Don't inspect the generated existential type itemsOliver Schneider-49/+9
2018-06-19Add message to `rustc_on_unimplemented` attributes in coreEsteban Küber-6/+6
2018-06-18Auto merge of #51414 - oli-obk:impl_trait_type_def, r=pnkfelixbors-111/+211
Add existential type definitions Note: this does not allow creating named existential types, it just desugars `impl Trait` to a less (but still very) hacky version of actual `existential type` items. r? @nikomatsakis
2018-06-10Fix error codesGuillaume Gomez-4/+4
2018-06-07Add existential type definitonsOliver Schneider-111/+211
2018-05-26Rollup merge of #50987 - estebank:underline-multiple-suggestions, r=petrochencovkennytm-7/+3
Underline multiple suggested replacements in the same line <img width="685" alt="screen shot 2018-05-22 at 21 06 48" src="https://user-images.githubusercontent.com/1606434/40403051-174f3180-5e04-11e8-86b6-261630c5ff80.png"> Follow up to #50943. Fix #50977.
2018-05-24prohibit turbofish in `impl Trait` methodsNiko Matsakis-0/+36
2018-05-24Fix impl Trait suggestionEsteban Küber-6/+2
2018-05-24Account for negative offsets in suggestionsEsteban Küber-1/+1
When suggesting code that has a shorter span than the current code, account for this by keeping the offset as a signed value.
2018-05-22Prevent local paths into libstd from leaking into ui testsOliver Schneider-1/+1
2018-05-21Improve the diagnostic around impl Trait <-> generic param mismatchOliver Schneider-6/+18
2018-05-21Move a test to ui tests so we can observe the output changes betterOliver Schneider-0/+74
2018-05-21Typo caused the wrong "cannot find" errorOliver Schneider-11/+4
2018-04-26Port existing callers of `evaluate_obligation` to the new canonical trait queryAravind Gollakota-0/+2
Except the one in coherence, which needs support for intercrate mode.
2018-04-21Make the unstable StrExt and SliceExt traits private to libcore in not(stage0)Simon Sapin-3/+1
`Float` still needs to be public for libcore unit tests.
2018-04-16Update testsJohn Kåre Alsaker-15/+10
2018-04-05Auto merge of #48709 - tinaun:issue48703, r=nikomatsakisbors-0/+28
remove erroneous error message when checking impl trait params fixes #48703
2018-03-28added testtinaun-0/+28
2018-03-26Stabilize conservative_impl_traitTaylor Cramer-20/+15
2018-03-26Stabilize universal_impl_traitTaylor Cramer-11/+5
2018-03-25Rollup merge of #49046 - Zoxc:error-summary, r=michaelwoeristerkennytm-1/+3
Always print `aborting due to n previous error(s)` r? @michaelwoerister
2018-03-21use subtyping when we create a closure instead of for upvar typesNiko Matsakis-0/+31
We used to make the upvar types in the closure `==` but that was stronger than we needed. Subtyping suffices, since we are copying the upvar value into the closure field. This in turn allows us to infer smaller lifetimes in captured values in some cases (like the example here), avoiding errors.
2018-03-21report an error if we see an unexpected lifetime in impl TraitNiko Matsakis-0/+89
But leave closure substs alone.
2018-03-16Update testsJohn Kåre Alsaker-1/+3
2018-03-14update testsGuillaume Gomez-14/+12
2018-02-26Update UI testsVadim Petrochenkov-14/+14
2018-02-26Update UI testsVadim Petrochenkov-67/+67
2018-02-25Update ui testsGuillaume Gomez-0/+14
2018-02-10Change error message for E0391 to "cyclic dependency detected"John Kåre Alsaker-2/+2
2018-02-07Rollup merge of #47613 - estebank:rustc_on_unimplemented, r=nikomatsakisManish Goregaokar-2/+2
Add filtering options to `rustc_on_unimplemented` - Add filtering options to `rustc_on_unimplemented` for local traits, filtering on `Self` and type arguments. - Add a way to provide custom notes. - Tweak binops text. - Add filter to detect wether `Self` is local or belongs to another crate. - Add filter to `Iterator` diagnostic for `&str`. Partly addresses #44755 with a different syntax, as a first approach. Fixes #46216, fixes #37522, CC #34297, #46806.
2018-02-03Auto merge of #47791 - estebank:mismatched-trait-impl, r=nikomatsakisbors-2/+2
Tweak presentation on lifetime trait mismatch - On trait/impl method discrepancy, add label pointing at trait signature. - Point only at method definition when referring to named lifetimes on lifetime mismatch. - When the sub and sup expectations are the same, tweak the output to avoid repeated spans. Fix #30790, CC #18759.
2018-02-01Add filter to detect local crates for rustc_on_unimplementedEsteban Küber-1/+1
2018-02-01Change rustc_on_unimplemented for Iterator and binopsEsteban Küber-2/+10
2018-02-01Add filtering options to `rustc_on_unimplemented`Esteban Küber-11/+3
- filter error on the evaluated value of `Self` - filter error on the evaluated value of the type arguments - add argument to include custom note in diagnostic - allow the parser to parse `Self` when processing attributes - add custom message to binops
2018-01-28Point only at method signatures and point at traitEsteban Küber-2/+2
- On mismatch between impl and trait method, point at the trait signature. - Point only at the method signature instead of the whole body on trait/impl mismatch errors.
2018-01-27Make `+` in `impl/dyn Trait` non-associativeVadim Petrochenkov-0/+127
2018-01-22Do not suggest private traits that have missing methodEsteban Küber-8/+4
When encountering a method call for an ADT that doesn't have any implementation of it, we search for traits that could be implemented that do have that method. Filter out private non-local traits that would not be able to be implemented. This doesn't account for public traits that are in a private scope, but works as a first approximation and is a more correct behavior than the current one.
2018-01-15On E0283, point at method with the requirementsEsteban Küber-2/+10
On required type annotation diagnostic error, point at method with the requirements if the span is available.
2017-12-19Point at def span in "missing in impl" errorEsteban Küber-1/+1
2017-12-14Remove NOTE/HELP annotations from UI testsVadim Petrochenkov-113/+77
2017-11-27Make main span in impl-trait ciclic reference point to def_spanEsteban Küber-8/+2
2017-11-26Make impl-trait ciclical reference error point to def_spanEsteban Küber-16/+4
2017-11-26Move "auto trait leak" impl-trait cycle dependency test to uiEsteban Küber-0/+139
2017-11-24Merge cfail and ui tests into ui testsOliver Schneider-154/+129
2017-11-23Auto merge of #46024 - estebank:no-variant, r=petrochenkovbors-0/+15
Use the proper term when using non-existing variant When using a non-existing variant, function or associated item, refer to the proper term, instead of defaulting to "associated item" in diagnostics. Fix #28972. ``` error[E0599]: no variant named `Quux` found for type `Foo` in the current scope --> file.rs:7:9 | 7 | Foo::Quux(..) =>(), | ^^^^^^^^^^^^^ ```
2017-11-20Add structured suggestions for trait importsOliver Schneider-18/+36
2017-11-16Use local spans onlyEsteban Küber-136/+57
2017-11-16Remove left over dead code from suggestion diagnostic refactoringOliver Schneider-2/+0
2017-11-15Point to ADT definition when not finding variant, method, assoc typeEsteban Küber-56/+150
2017-11-15add a new test featuring two impl traits to show what it looks likeNiko Matsakis-0/+32
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-27 12:25:13 +0000