about summary refs log tree commit diff
path: root/src/test/ui/phantom-oibit.stderr
AgeCommit message (Collapse)AuthorLines
2020-11-24Use the name "auto traits" everywhere in the compilerCamelid-38/+0
Goodbye, OIBIT!
2020-09-02pretty: trim paths of unique symbolsDan Aloni-6/+6
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-07-14Remove redundant explanatory `note` for type parametersEsteban Küber-2/+0
2020-04-08Small tweaks to required bound spanEsteban Küber-2/+2
2020-03-29Tweak `suggest_constraining_type_param`Esteban Küber-10/+8
Some of the bound restriction structured suggestions were incorrect while others had subpar output.
2020-02-09Improve reporting errors and suggestions for trait boundsPatryk Wychowaniec-5/+11
2019-10-15Use structured suggestion for restricting boundsEsteban Küber-3/+5
When a trait bound is not met and restricting a type parameter would make the restriction hold, use a structured suggestion pointing at an appropriate place (type param in param list or `where` clause). Account for opaque parameters where instead of suggesting extending the `where` clause, we suggest appending the new restriction: `fn foo(impl Trait + UnmetTrait)`.
2019-09-22On obligation errors point at the unfulfilled binding when possibleEsteban Küber-2/+2
2019-09-19When possible point at argument causing item obligation failureEsteban Küber-4/+4
2019-08-31Use span label instead of note for cause in E0631Esteban Küber-10/+6
2018-12-25Remove licensesMark Rousskov-4/+4
2018-08-14Merged migrated compile-fail tests and ui tests. Fixes #46841.David Wood-0/+38