summary refs log tree commit diff
path: root/src/librustc_traits/lowering/environment.rs
AgeCommit message (Expand)AuthorLines
2018-12-27Fix `tcx.environment` for inherent implsscalexm-31/+48
2018-12-27Add utilities for creating generic typesscalexm-8/+5
2018-12-27Return an instantiated environment instead of a generic onescalexm-19/+12
2018-12-25Remove licensesMark Rousskov-10/+0
2018-12-06Use a function to access the Hir map to be able to turn it into a query laterJohn Kåre Alsaker-2/+2
2018-11-24Move `BoundTy` debruijn index to the `TyKind` enum variantscalexm-1/+1
2018-11-24Introduce `TyKind::Placeholder` variantscalexm-0/+1
2018-11-13Provide program clauses for builtin typesscalexm-3/+28
2018-11-13Pretty print quantified goals and clausesscalexm-2/+2
2018-11-13Replace type params with bound vars in `rustc_traits::lowering`scalexm-16/+33
2018-11-03Move `BoundTy` to `ty::TyKind`scalexm-0/+1
2018-10-20Rollup merge of #55203 - scalexm:program-clauses, r=nikomatsakisManish Goregaokar-3/+6
2018-10-19Write an initial version of the `program_clauses` callbackscalexm-3/+6
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-3/+8
2018-10-17Add `FromEnv` for input types in the environmentscalexm-4/+66
2018-10-17Implement the `environment` queryscalexm-0/+24
2018-10-17Visit tys in `program_clauses_for_env`scalexm-29/+66
2018-10-17Use `Environment` instead of `ty::ParamEnv` in chalk contextscalexm-0/+127