summary refs log tree commit diff
path: root/src/test/ui/chalkify
AgeCommit message (Expand)AuthorLines
2022-04-04Dedup logic and improve output for other types that impl traitEsteban Kuber-6/+6
2022-04-04Mention implementers of unsatisfied traitEsteban Kuber-10/+5
2022-03-30Restore `impl Future<Output = Type>` to async blocksMichael Goulet-1/+1
2022-03-30Auto merge of #94081 - oli-obk:lazy_tait_take_two, r=nikomatsakisbors-3/+6
2022-03-28Suggest function borrow ignoring needs_noteMichael Goulet-0/+4
2022-03-28rebase falloutOli Scherer-1/+1
2022-03-28Bless ui testsOli Scherer-1/+10
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-7/+1
2022-03-22remove [async output] from impl FutureMichael Goulet-1/+1
2022-02-22chalk: add known-bug test that was previously ICEing.Dario Nieuwenhuis-0/+48
2022-02-14further update `fuzzy_match_tys`lcnr-0/+12
2022-02-14fuzzify `fuzzy_match_tys`lcnr-6/+0
2022-02-12Update chalk testsMatthew Jasper-4/+8
2021-12-11Tweak assoc type obligation spansEsteban Kuber-2/+2
2021-11-20Point at source of trait bound obligations in more placesEsteban Kuber-3/+3
2021-11-08impl Copy/Clone for arrays in std, not in compilerbstrie-2/+3
2021-09-16Point at call span that introduced obligation for the argEsteban Kuber-1/+3
2021-08-16Use note to point at bound introducing requirementEsteban Küber-21/+38
2021-07-19Various diagnostics clean ups/tweaksEsteban Küber-3/+5
2020-10-30Fix various Chalk lowering bugsMatthew Jasper-0/+33
2020-10-06Separate bounds and predicates for associated/opaque typesMatthew Jasper-26/+47
2020-09-09Remove def_id field from ParamEnvBram van den Heuvel-2/+2
2020-09-04Bless changed test outputJack Huey-1/+1
2020-09-04Upgrade chalk to 0.21Jack Huey-6/+14
2020-09-02pretty: trim paths of unique symbolsDan Aloni-3/+3
2020-07-14Remove `Sized` `on_unimplemented` noteEsteban Küber-1/+0
2020-06-24Update ChalkJack Huey-38/+85
2020-06-19Nits and change skip_binder to no_bound_vars for fndefJack Huey-0/+15
2020-06-19Test error order is non-deterministicJack Huey-12/+5
2020-06-19Implement fn_def_datumJack Huey-21/+42
2020-05-07Reintegrate chalk using chalk-solveJack Huey-0/+579
2020-03-02Remove chalk integrationCAD97-487/+0
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-09-22On obligation errors point at the unfulfilled binding when possibleEsteban Küber-1/+1
2019-08-31Use span label instead of note for cause in E0631Esteban Küber-5/+3
2019-07-27tests: Move run-pass tests without naming conflicts to uiVadim Petrochenkov-0/+177
2019-04-18hide `--explain` hint if error has no extended infoAndy Russell-1/+1
2019-03-20Fix a bug in implied boundsscalexm-3/+3
2019-03-20Gather region constraints not coming from unificationscalexm-2/+0
2019-03-11Update testsVadim Petrochenkov-15/+15
2018-12-31Improve type mismatch error messagesYuning Zhang-1/+1
2018-12-27Add testsscalexm-0/+54
2018-12-25Remove licensesMark Rousskov-93/+13
2018-11-13Implement `ProjectionEq-Normalize`csmoe-0/+1
2018-11-13Use a dummy outlives requirement for `where Type:,` (see #53696)scalexm-2/+2
2018-11-13Bypass ppaux for `Outlives` predicatesscalexm-11/+11
2018-11-13Provide program clauses for builtin typesscalexm-0/+2
2018-11-13Pretty print quantified goals and clausesscalexm-64/+51
2018-10-17Add tests for `program_clauses_for_env`scalexm-3/+97
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 12:33:04 +0000