about summary refs log tree commit diff
path: root/src/test/ui/impl-trait/equality.stderr
AgeCommit message (Collapse)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-41/+0
2022-12-05Tweak "the following other types implement trait"Esteban Küber-9/+4
When *any* of the suggested impls is an exact match, *only* show the exact matches. This is particularly relevant for integer types. fix fmt
2022-10-01bless ui testsMaybe Waffle-1/+1
2022-08-04Resolve vars before emitting coerce errorMichael Goulet-1/+6
2022-04-04Refer to the TraitRef::identity in the message to be clearerEsteban Kuber-1/+1
2022-04-04Dedup logic and improve output for other types that impl traitEsteban Kuber-5/+5
2022-04-04Fix list lengthEsteban Kuber-0/+4
2022-04-04Mention implementers of unsatisfied traitEsteban Kuber-0/+6
When encountering an unsatisfied trait bound, if there are no other suggestions, mention all the types that *do* implement that trait: ``` error[E0277]: the trait bound `f32: Foo` is not satisfied --> $DIR/impl_wf.rs:22:6 | LL | impl Baz<f32> for f32 { } | ^^^^^^^^ the trait `Foo` is not implemented for `f32` | = help: the following other types implement trait `Foo`: Option<T> i32 str note: required by a bound in `Baz` --> $DIR/impl_wf.rs:18:31 | LL | trait Baz<U: ?Sized> where U: Foo { } | ^^^ required by this bound in `Baz` ``` Mention implementers of traits in `ImplObligation`s. Do not mention other `impl`s for closures, ranges and `?`.
2022-03-28Revert to inference variable based hidden type computation for RPITOli Scherer-4/+1
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-10/+4
This reverts commit 6499c5e7fc173a3f55b7a3bd1e6a50e9edef782d, reversing changes made to 78450d2d602b06d9b94349aaf8cece1a4acaf3a8.
2022-02-17skip pointing out ambuguous impls in alloc/std crates tooMichael Goulet-17/+2
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-13/+14
This reverts commit e7cc3bddbe0d0e374d05e7003e662bba1742dbae, reversing changes made to 734368a200904ef9c21db86c595dc04263c87be0.
2022-02-02Eagerly merge hidden types.Oli Scherer-3/+6
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-14/+10
by using an opaque type obligation to bubble up comparisons between opaque types and other types Also uses proper obligation causes so that the body id works, because out of some reason nll uses body ids for logic instead of just diagnostics.
2021-10-24Point at overlapping impls when type annotations are neededEsteban Kuber-2/+17
2020-10-17Suggest minimal subset features in `incomplete_features` lintYuki Okushi-0/+1
2020-09-11Make suggestion more completeEsteban Küber-1/+1
2020-09-02pretty: trim paths of unique symbolsDan Aloni-1/+1
If a symbol name can only be imported from one place for a type, and as long as it was not glob-imported anywhere in the current crate, we can trim its printed path and print only the name. This has wide implications on error messages with types, for example, shortening `std::vec::Vec` to just `Vec`, as long as there is no other `Vec` importable anywhere. This adds a new '-Z trim-diagnostic-paths=false' option to control this feature. On the good path, with no diagnosis printed, we should try to avoid issuing this query, so we need to prevent trimmed_def_paths query on several cases. This change also relies on a previous commit that differentiates between `Debug` and `Display` on various rustc types, where the latter is trimmed and presented to the user and the former is not.
2020-06-16warn against 'specialization' featureRalf Jung-1/+10
2020-01-16Account for object safety when suggesting `Box<dyn Trait>`Esteban Küber-1/+1
2020-01-16review commentsEsteban Küber-2/+2
2020-01-16review commentsEsteban Küber-0/+1
2020-01-16review commentsEsteban Küber-1/+1
2020-01-16Account for diverging types in return `impl Trait`Esteban Küber-0/+5
2019-11-18Surround types with backticks in type errorsEsteban Küber-1/+1
2019-11-18Remove E0308 note when primary label has all infoEsteban Küber-3/+0
2019-04-18hide `--explain` hint if error has no extended infoAndy Russell-1/+1
2019-01-20Explain type mismatch cause pointing to return type when it is `impl Trait`Esteban Küber-1/+4
2018-12-25Remove licensesMark Rousskov-2/+2
2018-12-20Point at coercion source on type errors for fn returning `impl Trait`Esteban Küber-0/+3
2018-06-07Add existential type definitonsOliver Schneider-37/+1
2018-03-14update testsGuillaume Gomez-2/+2
2018-02-26Update UI testsVadim Petrochenkov-6/+6
2018-02-25Update ui testsGuillaume Gomez-0/+2
2018-02-01Add filtering options to `rustc_on_unimplemented`Esteban Küber-1/+1
- 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
2017-07-02Revert "Change error count messages"Ariel Ben-Yehuda-1/+1
This reverts commit 5558c64f33446225739c1153b43d2e309bb4f50e.
2017-06-01tests: fix fallout from changing the span of binop errors.Eduard-Mihai Burtescu-2/+2
2017-05-24Rollup merge of #42150 - citizen428:feature/error-count-messages, ↵Mark Simulacrum-1/+1
r=Mark-Simulacrum Change error count messages See #33525 for details. r? @Mark-Simulacrum
2017-05-24Change error count messagesMichael Kohl-1/+1
See #33525 for details.
2017-05-17Add better error message when == operator is badly usedGuillaume Gomez-2/+2
2017-04-10Explicit help message for binop type missmatchEsteban Küber-0/+55
When trying to do a binary operation with missing implementation, for example `1 + Some(2)`, provide an explicit help message: ``` note: no implementation for `{integer} + std::option::Option<{integer}>` ``` Use `rustc_on_unimplemented` for the suggestions. Move cfail test to ui.
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 05:45:21 +0000