about summary refs log tree commit diff
path: root/src/test/ui/wf
AgeCommit message (Expand)AuthorLines
2021-09-23Support incremental in compiletest for non-incremental modes.Eric Huss-1/+1
2021-09-15Move object safety suggestions to the end of the errorEsteban Kuber-2/+2
2021-08-16Use note to point at bound introducing requirementEsteban Küber-107/+172
2021-08-12Use a more accurate span on assoc types WF checksEsteban Kuber-10/+10
2021-08-11Modify structured suggestion outputEsteban Küber-25/+25
2021-08-09Do not ICE on HIR based WF check when involving lifetimesEsteban Küber-0/+45
2021-08-04Remove trailing whitespace from error messagesFabian Wolff-1/+1
2021-07-28Fix ICE in `diagnostic_hir_wf_check`Fabian Wolff-0/+26
2021-07-22Extend HIR WF checking to fieldsAaron Hill-6/+6
2021-07-20Support HIR wf checking for function signaturesAaron Hill-8/+11
2021-07-20Auto merge of #87244 - jackh726:issue-71883, r=estebankbors-7/+15
2021-07-19Better errors when we don't have implicit statics in trait objectsjackh726-1/+8
2021-07-19Better diagnostics when mismatched types due to implict static lifetimejackh726-8/+9
2021-07-18Extend HIR-based WF checking to associated type defaultsAaron Hill-4/+4
2021-07-16Add initial implementation of HIR-based WF checking for diagnosticsAaron Hill-2/+26
2021-07-09Replace associated item bound vars with placeholders when projecting.jackh726-2/+2
2021-05-21Adjust self-type to require equalityMark Rousskov-3/+31
2021-03-31give full path of constraint in suggest_constraining_type_paramhi-rustin-34/+34
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
2020-09-02pretty: trim paths of unique symbolsDan Aloni-120/+120
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
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
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
2020-03-29Tweak `suggest_constraining_type_param`Esteban Küber-72/+54
2020-03-06fix various typosMatthias Krüger-1/+1
2020-02-19Tweak binding lifetime suggestion textEsteban Küber-6/+6
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 sug...Esteban Küber-1/+1
2020-02-02Wording changes to object unsafe trait errorsEsteban Küber-10/+30
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 whe...Esteban Küber-103/+72
2020-01-05Add backticks to various diagnosticsvarkor-1/+1
2019-11-21Auto merge of #66389 - estebank:type-err-labels, r=petrochenkovbors-2/+2
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