about summary refs log tree commit diff
path: root/src/librustc_traits/chalk_context
AgeCommit message (Expand)AuthorLines
2020-03-02Remove chalk integrationCAD97-1804/+0
2020-02-16Make librustc_traits compile.Camille GILLOT-15/+15
2020-02-10Reduce the number of `RefCell`s in `InferCtxt`.Nicholas Nethercote-1/+3
2020-02-06index ReEmpty by universeNiko Matsakis-3/+5
2020-01-16don't clone types that are copyMatthias Krüger-1/+1
2020-01-05Remove rustc_hir reexports in rustc::hir.Mazdak Farrokhzad-5/+5
2020-01-01Rename `syntax_pos` to `rustc_span` in source codeVadim Petrochenkov-3/+3
2019-12-22Format the worldMark Rousskov-433/+263
2019-12-201. ast::Mutability::{Mutable -> Mut, Immutable -> Not}.Mazdak Farrokhzad-2/+2
2019-11-18Retire BraceStructLiftImpl.Camille GILLOT-10/+2
2019-11-17Auto merge of #66384 - cjgillot:typefoldable, r=Zoxcbors-7/+2
2019-11-13Use TypeFoldable derive macro in librustc_traits.Camille GILLOT-7/+2
2019-11-12Rename in librustc_traits.Camille GILLOT-6/+4
2019-11-10Merge hir::Mutability into ast::Mutability.Camille GILLOT-2/+2
2019-10-21Rename `ConstValue::Infer(InferConst::Canonical(..))` to `ConstValue::Bound(..)`varkor-15/+6
2019-10-04Rollup merge of #64817 - csmoe:closure, r=nikomatsakisMazdak Farrokhzad-1/+4
2019-10-03generate ClosureSubsts from SubstsRefcsmoe-1/+4
2019-10-01Improve HRTB error span when -Zno-leak-check is usedAaron Hill-1/+1
2019-09-27Remove lift_to_globalMark Rousskov-1/+1
2019-09-26Rename `subst::Kind` to `subst::GenericArg`varkor-17/+17
2019-09-25Rename `sty` to `kind`varkor-8/+8
2019-08-05Fiddle param env through to `try_eval_bits` in most placesOliver Scherer-0/+5
2019-07-03Remove needless lifetimesJeremy Stucki-8/+8
2019-07-02introduce `QueryRegionConstraints` struct (no-op)Niko Matsakis-2/+3
2019-06-18rustc: remove 'x: 'y bounds (except from comments/strings).Eduard-Mihai Burtescu-3/+3
2019-06-14Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-19/+8
2019-06-14Unify all uses of 'gcx and 'tcx.Eduard-Mihai Burtescu-88/+88
2019-06-12Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-28/+16
2019-06-12rustc: replace `TyCtxt<'tcx, 'gcx, 'tcx>` with `TyCtxt<'gcx, 'tcx>`.Eduard-Mihai Burtescu-19/+19
2019-06-12Fix fallout from `deny(unused_lifetimes)`.Eduard-Mihai Burtescu-1/+1
2019-06-12rustc: replace `TyCtxt<'a, 'gcx, 'tcx>` with `TyCtxt<'tcx, 'gcx, 'tcx>`.Eduard-Mihai Burtescu-24/+24
2019-06-11rustc_traits: deny(unused_lifetimes).Eduard-Mihai Burtescu-1/+1
2019-05-28Rename `OpportunisticTypeResolver` to `OpportunisticVarResolver`varkor-4/+4
2019-05-01Create ShallowResolvervarkor-1/+1
2019-05-01Fix rebase from LazyConst removalvarkor-9/+9
2019-05-01Implement TypeRelation::constsvarkor-2/+43
2019-04-28Fix lint findings in librustc_traitsflip1995-25/+25
2019-04-27Rollup merge of #60292 - varkor:ty-tuple-substs, r=nikomatsakisMazdak Farrokhzad-10/+15
2019-04-27Auto merge of #59540 - Zoxc:the-arena-2, r=michaelwoeristerbors-4/+3
2019-04-26Update handling of Tuplevarkor-10/+15
2019-04-25Update trait queriesJohn Kåre Alsaker-4/+3
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-319/+343
2019-03-20Gather region constraints not coming from unificationscalexm-28/+33
2019-03-16Revert the `LazyConst` PROliver Scherer-8/+5
2019-03-05Handle const generics elsewherevarkor-1/+12
2019-02-27Rename variadic to c_variadicDan Robertson-4/+4
2019-02-27rename Substs to InternalSubstscsmoe-2/+2