about summary refs log tree commit diff
path: root/src/librustc_traits/chalk_context/mod.rs
AgeCommit message (Expand)AuthorLines
2020-03-02Remove chalk integrationCAD97-638/+0
2020-02-16Make librustc_traits compile.Camille GILLOT-7/+7
2020-01-16don't clone types that are copyMatthias Krüger-1/+1
2020-01-01Rename `syntax_pos` to `rustc_span` in source codeVadim Petrochenkov-1/+1
2019-12-22Format the worldMark Rousskov-141/+78
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-2/+1
2019-10-21Rename `ConstValue::Infer(InferConst::Canonical(..))` to `ConstValue::Bound(..)`varkor-2/+2
2019-09-27Remove lift_to_globalMark Rousskov-1/+1
2019-09-26Rename `subst::Kind` to `subst::GenericArg`varkor-8/+8
2019-09-25Rename `sty` to `kind`varkor-1/+1
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-1/+1
2019-06-14Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-10/+5
2019-06-14Unify all uses of 'gcx and 'tcx.Eduard-Mihai Burtescu-57/+57
2019-06-12Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-7/+4
2019-06-12rustc: replace `TyCtxt<'tcx, 'gcx, 'tcx>` with `TyCtxt<'gcx, 'tcx>`.Eduard-Mihai Burtescu-5/+5
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-9/+9
2019-06-11rustc_traits: deny(unused_lifetimes).Eduard-Mihai Burtescu-1/+1
2019-05-28Rename `OpportunisticTypeResolver` to `OpportunisticVarResolver`varkor-1/+1
2019-04-25Update trait queriesJohn Kåre Alsaker-4/+3
2019-03-16Revert the `LazyConst` PROliver Scherer-7/+4
2019-03-05Handle const generics elsewherevarkor-1/+12
2019-02-10rustc: doc commentsAlexander Regueiro-6/+6
2019-02-07Transition librustc_traits to 2018 editionHirokazu Hata-3/+3
2018-12-27Handle sub-typing in chalk-enginescalexm-1/+17
2018-12-27Integrate chalk enginescalexm-23/+95
2018-12-27Fix `visit_ex_clause_with`scalexm-3/+3
2018-12-27Implement "lifetime juggling" methods from chalk integration traitscalexm-8/+42
2018-12-27Implement `is_coinductive`scalexm-3/+20
2018-12-25Remove licensesMark Rousskov-10/+0
2018-11-29Implement `AggregateOps`scalexm-2/+28
2018-11-29Implement `ResolventOps`scalexm-29/+15
2018-11-29Handle inference variables in `nll_relate` and use it for chalkscalexm-17/+34
2018-11-24Fix `ChalkInferenceContext::into_hh_goal`scalexm-1/+4
2018-11-24Implement some instantiate / canonical routinesscalexm-52/+113
2018-11-13Instantiate all bound vars existentiallyscalexm-4/+3
2018-11-13Provide program clauses for builtin typesscalexm-0/+494
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-05-15 17:32:27 +0000