about summary refs log tree commit diff
path: root/src/test/ui/wf
AgeCommit message (Expand)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-2109/+0
2023-01-08Normalize assumed_wf_types after wfchecking is complete, for better spansMichael Goulet-2/+2
2023-01-08Improve spans of non-WF implied bound typesMichael Goulet-4/+4
2022-12-13Make some diagnostics not depend on the source of what they reference being a...Oli Scherer-9/+0
2022-12-05Don't call diagnostic_hir_wf_check query if we have infer variablesMichael Goulet-0/+50
2022-10-26Process registered region obligation in resolve_regions_with_wf_tysMichael Goulet-0/+36
2022-08-30Tweak WellFormedLocs a bitMichael Goulet-2/+2
2022-08-22Auto merge of #100676 - lcnr:implied-bounds-yay, r=nikomatsakisbors-2/+2
2022-08-18Reword "Required because of the requirements on the impl of ..."Andy Wang-12/+12
2022-08-17implied_bounds: clarify our assumptionslcnr-2/+2
2022-07-15Remove some more usages of guess_head_spanMichael Goulet-2/+6
2022-07-13Always use CreateParameter mode for function definitions.Camille GILLOT-3/+3
2022-07-01Shorten def_span for more items.Camille GILLOT-2/+2
2022-06-27Rollup merge of #97780 - compiler-errors:field-wfcheck-before-sized, r=jackh726Matthias Krüger-0/+31
2022-06-19Include ForeignItem when visiting types for WF checkPreston From-0/+33
2022-06-05Do wfcheck on ADT field before Sized checkMichael Goulet-0/+31
2022-06-03Fully stabilize NLLJack Huey-158/+12
2022-05-06Resolve vars in note_type_errJack Huey-2/+2
2022-04-30Bless tests.Camille GILLOT-15/+30
2022-04-17Lint elided lifetimes in path on the AST.Camille GILLOT-1/+5
2022-04-05Rollup merge of #95591 - jackh726:nll-revisions-1, r=oli-obkDylan DPC-36/+50
2022-04-05More nll revisionsJack Huey-36/+50
2022-04-05Rollup merge of #95525 - ohno418:suggest-derivable-trait-E0277, r=compiler-er...Dylan DPC-0/+8
2022-04-05Suggest derivable trait on E0277ohno418-0/+8
2022-04-04Mention implementers of unsatisfied traitEsteban Kuber-0/+2
2022-03-24Properly track `ImplObligation`sEsteban Kuber-10/+2
2022-02-28Update ui test with the add of E0726 explanationGuillaume Gomez-0/+1
2021-12-31Ensure that early-bound function lifetimes are always 'local'Aaron Hill-5/+5
2021-12-14extend `simplify_type`lcnr-2/+10
2021-11-20Point at source of trait bound obligations in more placesEsteban Kuber-6/+0
2021-10-13Remove textual span from diagnostic stringOli Scherer-13/+13
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