about summary refs log tree commit diff
path: root/src/librustc_traits/lowering/environment.rs
AgeCommit message (Expand)AuthorLines
2020-05-01Remove leftover chalk typesJack Huey-267/+0
2020-04-23Modify `as_local_hir_id` to return a bare `HirId`marmeladema-1/+1
2020-04-23Modify `as_local_hir_id` to accept a `LocalDefId` instead of a `DefId`marmeladema-1/+1
2020-04-06ty: switch `Ty::walk` from `Ty` to `GenericArg`.Eduard-Mihai Burtescu-6/+19
2020-03-30rustc -> rustc_middle part 3 (rustfmt)Mazdak Farrokhzad-2/+2
2020-03-30rustc -> rustc_middle part 2Mazdak Farrokhzad-2/+2
2020-03-20remove redundant returns (clippy::needless_return)Matthias Krüger-1/+1
2020-03-15More Method->Fn renamingMark Mansi-1/+1
2020-03-03rename TraitItemKind::Method -> FnMark Mansi-1/+1
2020-02-02Use more accurate failed predicate spansEsteban Küber-1/+1
2020-01-17Use named fields for `hir::ItemKind::Impl`Dylan MacKenzie-2/+2
2020-01-05Remove rustc_hir reexports in rustc::hir.Mazdak Farrokhzad-2/+2
2019-12-22Format the worldMark Rousskov-76/+59
2019-09-26Rename `ForeignItem.node` to `ForeignItem.kind`varkor-1/+1
2019-09-26Rename `Item.node` to `Item.kind`varkor-1/+1
2019-09-26Rename `TraitItem.node` to `TraitItem.kind`varkor-1/+1
2019-09-26Rename `ImplItem.node` to `ImplItem.kind`varkor-1/+1
2019-09-25Rename `sty` to `kind`varkor-1/+1
2019-07-03Remove needless lifetimesJeremy Stucki-1/+1
2019-06-20rename hir::map::get_by_hir_id to getljedrz-1/+1
2019-06-14Unify all uses of 'gcx and 'tcx.Eduard-Mihai Burtescu-4/+4
2019-06-12Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-4/+1
2019-06-12rustc: replace `TyCtxt<'tcx, 'gcx, 'tcx>` with `TyCtxt<'gcx, 'tcx>`.Eduard-Mihai Burtescu-4/+4
2019-06-12Fix fallout from `deny(unused_lifetimes)`.Eduard-Mihai Burtescu-2/+2
2019-06-12rustc: replace `TyCtxt<'a, 'gcx, 'tcx>` with `TyCtxt<'tcx, 'gcx, 'tcx>`.Eduard-Mihai Burtescu-7/+7
2019-03-20Gather region constraints not coming from unificationscalexm-27/+1
2019-03-07HirIdification: replace NodeId method callsljedrz-2/+2
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