about summary refs log tree commit diff
path: root/src/test/ui/wf
AgeCommit message (Collapse)AuthorLines
2021-03-15More precise spans for HIR pathsVadim Petrochenkov-1/+1
2021-02-03Miscellaneous small diagnostics cleanupCamelid-1/+1
2020-12-31FIx ICE on wf check for foreign fnsYuki Okushi-0/+41
2020-10-20review commentsEsteban Küber-10/+10
2020-10-20Tweak "object unsafe" errorsEsteban Küber-45/+64
Fix #77598.
2020-09-02pretty: trim paths of unique symbolsDan Aloni-120/+120
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-27mv std libs to library/mark-1/+1
2020-07-25Use the proper span when WF-checking an impl self typeAaron Hill-0/+23
2020-07-20wf: check foreign fn decls for well-formednessDavid Wood-0/+36
This commit extends current well-formedness checking to apply to foreign function declarations, re-using the existing machinery for regular functions. In doing this, later parts of the compiler (such as the `improper_ctypes` lint) can rely on being operations not failing as a result of invalid code which would normally be caught earlier. Signed-off-by: David Wood <david@davidtw.co>
2020-07-14Remove `Sized` `on_unimplemented` noteEsteban Küber-2/+0
2020-07-14Suggest boxing or borrowing unsized fieldsEsteban Küber-18/+18
2020-06-16Provide `help` when `T: ?Sized` can't be suggestedEsteban Küber-0/+7
2020-05-30Tweak type parameter errors to reduce verbosityEsteban Küber-47/+7
2020-05-12Increase verbosity of bound restriction suggestionsEsteban Küber-22/+42
- Make the bound restriction suggestion `span_suggestion_verbose`. - Fix whitespace typo.
2020-04-08Small tweaks to required bound spanEsteban Küber-28/+28
2020-04-08Use `PredicateObligation`s instead of `Predicate`sEsteban Küber-28/+33
Keep more information about trait binding failures.
2020-03-29Tweak `suggest_constraining_type_param`Esteban Küber-72/+54
Some of the bound restriction structured suggestions were incorrect while others had subpar output.
2020-03-06fix various typosMatthias Krüger-1/+1
2020-02-19Tweak binding lifetime suggestion textEsteban Küber-6/+6
We already have a structured suggestion, but the wording made it seem like that wasn't the case. Fix #65286. r? @varkor
2020-02-09Improve reporting errors and suggestions for trait boundsPatryk Wychowaniec-50/+118
2020-02-02Use more appropriate spans on object unsafe traits and provide structured ↵Esteban Küber-1/+1
suggestions when possible
2020-02-02Wording changes to object unsafe trait errorsEsteban Küber-10/+30
Stemming from the thread at https://twitter.com/indygreg/status/1223279056398929920
2020-02-02Slight rewording of diagnostic messageEsteban Küber-9/+9
2020-02-02Use more accurate failed predicate spansEsteban Küber-93/+77
2020-02-02Tweak `Self: Sized` restriction diagnostic outputEsteban Küber-8/+0
2020-02-02Point at `Sized` boundEsteban Küber-0/+24
2020-02-02Point at arguments or output when fn obligations come from them, or ident ↵Esteban Küber-103/+72
when they don't
2020-01-05Add backticks to various diagnosticsvarkor-1/+1
2019-11-21Auto merge of #66389 - estebank:type-err-labels, r=petrochenkovbors-2/+2
Specific labels when referring to "expected" and "found" types
2019-11-18Specific labels when referring to "expected" and "found" typesEsteban Küber-2/+2
2019-10-27update testsMark Mansi-0/+12
2019-10-23Auto merge of #57545 - bovinebuddha:object_safe_for_dispatch, r=nikomatsakisbors-0/+169
Object safe for dispatch cc #43561
2019-10-22RFC 2027: "first draft" of implementationMathias Blikstad-0/+169
These are a squashed series of commits.
2019-10-15Deduplicate some code and apply review commentsEsteban Küber-4/+5
2019-10-15Handle `Self` restriction neededEsteban Küber-18/+24
2019-10-15Handle more casesEsteban Küber-38/+44
2019-10-15Use structured suggestion for restricting boundsEsteban Küber-4/+4
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-10-14Rollup merge of #65395 - JohnTitor:add-tests, r=CentrilMazdak Farrokhzad-0/+21
Add some tests for fixed ICEs Fixes #44153 (from 1.23.0) Fixes #47486 (from 1.36.0) Fixes #48010 (from 1.38.0) Fixes #48027 (from nightly) Fixes #48638 (from nightly)
2019-10-14Add test for issue-48638Yuki Okushi-0/+21
2019-10-11Print lifetimes with backticksYuki Okushi-10/+10
2019-10-07update ui testsGuillaume Gomez-1/+1
2019-09-12update ui testsGuillaume Gomez-1/+2
2019-09-02account for DUMMY_SP and correct wordingEsteban Küber-1/+1
2019-09-02On object safety violation, point at source when possibleEsteban Küber-2/+3
2019-08-31Use span label instead of note for cause in E0631Esteban Küber-135/+81
2019-05-29Update ui test suite to use dynmemoryruins-16/+16
2019-05-12Change compare mode to use -Zborrowck=mirMatthew Jasper-0/+65
2019-04-22Remove double trailing newlinesvarkor-1/+0
2019-04-22update tests for migrate mode by defaultMatthew Jasper-152/+41
2019-04-18hide `--explain` hint if error has no extended infoAndy Russell-3/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 22:05:59 +0000