about summary refs log tree commit diff
path: root/src/test/ui/chalkify
AgeCommit message (Expand)AuthorLines
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
2018-10-08Add chalk rules related to associated type defsscalexm-11/+21
2018-10-03Remove duplicate predicates in `explicit_predicates_of`scalexm-4/+2
2018-08-31rustc_typeck: turn `where Type:,` into a WF(Type) predicate, instead of ignor...Eduard-Mihai Burtescu-2/+11
2018-08-27fix some anon paramsMark Mansi-7/+7
2018-07-07update testscsmoe-6/+3
2018-07-05merge wellformed(wc)scsmoe-13/+7
2018-07-05update testcsmoe-0/+16
2018-07-02introduce `predicates_defined_on` for traitsNiko Matsakis-2/+2
2018-06-07Add tests for `WellFormed-Type` and `FromEnv-Type` rulesscalexm-0/+30
2018-06-07Remove `FromEnv(ProjectionEq(...))` from testsscalexm-1/+1
2018-04-23sort strings on outputNiko Matsakis-9/+9
2018-04-23first draft of `program_clauses_for_env`Niko Matsakis-0/+48
2018-04-23in unit tests, use `note` to dump multiple program clausesNiko Matsakis-100/+38
2018-04-15Stop duplicating where clauses from impl's.Fabian Zaiser-1/+1
2018-04-15Implement Chalk lowering rule Normalize-From-ImplFabian Zaiser-1/+16
2018-04-06chalkify: Implement Rule Implied-Bound-From-TraitTyler Mandry-1/+147
2018-03-20Add unit test for Implemented-From-Envvarkor-0/+30
2018-03-14Address niko's nitsscalexm-1/+1
2018-03-14Add MVP for chalkificationscalexm-0/+28
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 16:28:47 +0000