summary refs log tree commit diff
path: root/src/librustc_traits/chalk_context
AgeCommit message (Expand)AuthorLines
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
2019-02-10rustc: doc commentsAlexander Regueiro-6/+6
2019-02-07Transition librustc_traits to 2018 editionHirokazu Hata-6/+6
2019-01-05Auto merge of #56837 - arielb1:nonprincipal-trait-objects, r=nikomatsakisbors-5/+1
2019-01-04Revert "add coherence future-compat warnings for marker-only trait objects"Ariel Ben-Yehuda-5/+1
2019-01-01Move the `Unevaluated` constant arm upwards in the type structureOliver Scherer-1/+1
2018-12-27Add `wf_clause_for_fn_def`scalexm-1/+21
2018-12-27Handle sub-typing in chalk-enginescalexm-5/+27
2018-12-27Integrate chalk enginescalexm-31/+132
2018-12-27Fix `Sized` requirement for empty tuples in `program_clauses`scalexm-1/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-08 20:52:20 +0000