about summary refs log tree commit diff
path: root/src/librustc_traits/chalk_context/program_clauses
AgeCommit message (Collapse)AuthorLines
2020-03-02Remove chalk integrationCAD97-784/+0
2020-01-05Remove rustc_hir reexports in rustc::hir.Mazdak Farrokhzad-5/+5
2019-12-22Format the worldMark Rousskov-198/+131
2019-12-201. ast::Mutability::{Mutable -> Mut, Immutable -> Not}.Mazdak Farrokhzad-2/+2
2. mir::Mutability -> ast::Mutability.
2019-11-10Merge hir::Mutability into ast::Mutability.Camille GILLOT-2/+2
2019-10-03generate ClosureSubsts from SubstsRefcsmoe-1/+4
2019-09-26Rename `subst::Kind` to `subst::GenericArg`varkor-7/+7
2019-09-25Rename `sty` to `kind`varkor-5/+5
2019-07-03Remove needless lifetimesJeremy Stucki-8/+8
2019-06-14Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-4/+1
2019-06-14Unify all uses of 'gcx and 'tcx.Eduard-Mihai Burtescu-14/+14
2019-06-12Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-21/+12
2019-06-12rustc: replace `TyCtxt<'tcx, 'gcx, 'tcx>` with `TyCtxt<'gcx, 'tcx>`.Eduard-Mihai Burtescu-13/+13
2019-06-12rustc: replace `TyCtxt<'a, 'gcx, 'tcx>` with `TyCtxt<'tcx, 'gcx, 'tcx>`.Eduard-Mihai Burtescu-13/+13
2019-05-28Rename `OpportunisticTypeResolver` to `OpportunisticVarResolver`varkor-1/+1
2019-04-28Fix lint findings in librustc_traitsflip1995-23/+23
2019-04-26Update handling of Tuplevarkor-10/+15
2019-04-24Add builtin impls for int and float inference vars in chalkTyler Mandry-14/+19
2019-04-24chalkify: Add Copy/Clone builtinsTyler Mandry-21/+149
2019-03-20Add unsize impls for arraysscalexm-0/+88
2019-03-20Reorganize `chalk_context::program_clauses`scalexm-0/+634