summary refs log tree commit diff
path: root/src/librustc_traits/lowering/mod.rs
AgeCommit message (Expand)AuthorLines
2019-02-07Transition librustc_traits to 2018 editionHirokazu Hata-3/+3
2019-01-10integrate trait aliases into def-paths / metadataNiko Matsakis-1/+2
2018-12-27Fix binding levels in implied bounds rulesscalexm-15/+11
2018-12-27Return an instantiated environment instead of a generic onescalexm-1/+1
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-6/+6
2018-12-06Use a function to access the Hir map to be able to turn it into a query laterJohn Kåre Alsaker-3/+3
2018-11-24Move `BoundTy` debruijn index to the `TyKind` enum variantscalexm-1/+2
2018-11-15Rollup merge of #55778 - nnethercote:LrcPreds, r=eddybPietro Albini-5/+7
2018-11-14Wrap some query results in `Lrc`.Nicholas Nethercote-5/+7
2018-11-13Implement `ProjectionEq-Normalize`csmoe-1/+43
2018-11-13Use a dummy outlives requirement for `where Type:,` (see #53696)scalexm-6/+7
2018-11-13Adjust documentationscalexm-3/+4
2018-11-13Pretty print quantified goals and clausesscalexm-8/+1
2018-11-13Replace type params with bound vars in `rustc_traits::lowering`scalexm-44/+85
2018-10-19Write an initial version of the `program_clauses` callbackscalexm-1/+1
2018-10-17Categorize chalk clausesscalexm-1/+12
2018-10-17Implement the `environment` queryscalexm-0/+1
2018-10-17Use `Environment` instead of `ty::ParamEnv` in chalk contextscalexm-0/+596