about summary refs log tree commit diff
path: root/src/librustc_traits/lowering
AgeCommit message (Expand)AuthorLines
2019-03-20Fix a bug in implied boundsscalexm-4/+5
2019-03-20Fix a bug in chalk loweringscalexm-1/+8
2019-03-20Gather region constraints not coming from unificationscalexm-27/+1
2019-03-07HirIdification: replace NodeId method callsljedrz-2/+2
2019-03-01hir: remove NodeId from TraitItemljedrz-6/+6
2019-02-27rename Substs to InternalSubstscsmoe-6/+6
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 `tcx.environment` for inherent implsscalexm-31/+48
2018-12-27Fix binding levels in implied bounds rulesscalexm-15/+11
2018-12-27Add utilities for creating generic typesscalexm-8/+5
2018-12-27Return an instantiated environment instead of a generic onescalexm-20/+13
2018-12-25Remove licensesMark Rousskov-20/+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-5/+5
2018-11-24Move `BoundTy` debruijn index to the `TyKind` enum variantscalexm-2/+3
2018-11-24Introduce `TyKind::Placeholder` variantscalexm-0/+1
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-13Provide program clauses for builtin typesscalexm-3/+28
2018-11-13Adjust documentationscalexm-3/+4
2018-11-13Pretty print quantified goals and clausesscalexm-10/+3
2018-11-13Replace type params with bound vars in `rustc_traits::lowering`scalexm-60/+118
2018-11-03Move `BoundTy` to `ty::TyKind`scalexm-0/+1
2018-10-20Rollup merge of #55203 - scalexm:program-clauses, r=nikomatsakisManish Goregaokar-4/+7
2018-10-19Write an initial version of the `program_clauses` callbackscalexm-4/+7
2018-10-19Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hackOliver Scherer-2/+2
2018-10-17Re-use memory in `program_clauses_for_env`scalexm-5/+5
2018-10-17Add tests for `program_clauses_for_env`scalexm-5/+6
2018-10-17Categorize chalk clausesscalexm-4/+20
2018-10-17Add `FromEnv` for input types in the environmentscalexm-4/+66
2018-10-17Implement the `environment` queryscalexm-0/+25
2018-10-17Visit tys in `program_clauses_for_env`scalexm-29/+66
2018-10-17Use `Environment` instead of `ty::ParamEnv` in chalk contextscalexm-0/+723
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 02:51:15 +0000