about summary refs log tree commit diff
path: root/src/librustc_traits/chalk_context/mod.rs
AgeCommit message (Expand)AuthorLines
2019-04-25Update trait queriesJohn Kåre Alsaker-4/+3
2019-03-16Revert the `LazyConst` PROliver Scherer-7/+4
2019-03-05Handle const generics elsewherevarkor-1/+12
2019-02-10rustc: doc commentsAlexander Regueiro-6/+6
2019-02-07Transition librustc_traits to 2018 editionHirokazu Hata-3/+3
2018-12-27Handle sub-typing in chalk-enginescalexm-1/+17
2018-12-27Integrate chalk enginescalexm-23/+95
2018-12-27Fix `visit_ex_clause_with`scalexm-3/+3
2018-12-27Implement "lifetime juggling" methods from chalk integration traitscalexm-8/+42
2018-12-27Implement `is_coinductive`scalexm-3/+20
2018-12-25Remove licensesMark Rousskov-10/+0
2018-11-29Implement `AggregateOps`scalexm-2/+28
2018-11-29Implement `ResolventOps`scalexm-29/+15
2018-11-29Handle inference variables in `nll_relate` and use it for chalkscalexm-17/+34
2018-11-24Fix `ChalkInferenceContext::into_hh_goal`scalexm-1/+4
2018-11-24Implement some instantiate / canonical routinesscalexm-52/+113
2018-11-13Instantiate all bound vars existentiallyscalexm-4/+3
2018-11-13Provide program clauses for builtin typesscalexm-0/+494
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-14 11:16:21 +0000