about summary refs log tree commit diff
path: root/src/test/ui/chalkify
AgeCommit message (Expand)AuthorLines
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-01-23 04:36:23 +0000