about summary refs log tree commit diff
path: root/src/librustc/infer/canonical
AgeCommit message (Expand)AuthorLines
2020-02-16Move librustc/{traits,infer} to librustc_infer.Camille GILLOT-1576/+0
2020-02-10Reduce the number of `RefCell`s in `InferCtxt`.Nicholas Nethercote-2/+4
2020-02-06index ReEmpty by universeNiko Matsakis-3/+14
2020-02-05Move infer::canonical datatypes to infer::types.Camille GILLOT-334/+5
2020-01-09{rustc::util -> rustc_data_structures}::capturesMazdak Farrokhzad-1/+1
2020-01-02Normalize `syntax::source_map` imports.Mazdak Farrokhzad-1/+1
2020-01-01Rename `syntax_pos` to `rustc_span` in source codeVadim Petrochenkov-2/+2
2019-12-22Format the worldMark Rousskov-273/+155
2019-11-21Aggregation of drive-by cosmetic changes.Alexander Regueiro-4/+4
2019-11-18Retire BraceStructLiftImpl.Camille GILLOT-33/+5
2019-11-17Auto merge of #66384 - cjgillot:typefoldable, r=Zoxcbors-30/+6
2019-11-14Use multiple derive clauses.Camille GILLOT-4/+4
2019-11-13Use TypeFoldable derive macro.Camille GILLOT-30/+6
2019-11-12Create intermediate enum ty::ConstKind.Camille GILLOT-11/+8
2019-10-21Rollup merge of #65660 - varkor:canonical-const-to-bound-const, r=eddybMazdak Farrokhzad-11/+6
2019-10-21Rollup merge of #65647 - nnethercote:rm-unnecessary-traits, r=CentrilMazdak Farrokhzad-1/+1
2019-10-21Rename `ConstValue::Infer(InferConst::Canonical(..))` to `ConstValue::Bound(..)`varkor-11/+6
2019-10-21Remove many unnecessary trait derivations.Nicholas Nethercote-1/+1
2019-10-21Fix `canonicalize_const_var` from leaking inference variables throughben-1/+1
2019-09-29remove indexed_vec re-export from rustc_data_structurescsmoe-4/+4
2019-09-26Rename `subst::Kind` to `subst::GenericArg`varkor-41/+44
2019-09-25Rename `sty` to `kind`varkor-2/+2
2019-07-31Remove redundant method with const variable resolutionvarkor-1/+1
2019-07-23cleanup: Remove `extern crate serialize as rustc_serialize`sVadim Petrochenkov-1/+1
2019-07-02rename to "member constraints"Niko Matsakis-10/+10
2019-07-02pacify the mercilous tidyNiko Matsakis-1/+2
2019-07-02propagate the pick-constraints through queriesNiko Matsakis-8/+14
2019-07-02pass a `&mut QueryRegionConstraints` not just outlives constraintsNiko Matsakis-4/+6
2019-07-02introduce `QueryRegionConstraints` structNiko Matsakis-9/+15
2019-07-02introduce `QueryRegionConstraints` struct (no-op)Niko Matsakis-7/+27
2019-07-02rename `QueryRegionConstraint` to `QueryOutlivesConstraint`Niko Matsakis-15/+15
2019-07-02rename from "in constraint" to "pick constraint"Niko Matsakis-2/+2
2019-07-02introduce an "in" constraint instead of errorNiko Matsakis-0/+4
2019-06-19Rollup merge of #61842 - Zoxc:trim-lift, r=eddybMazdak Farrokhzad-32/+18
2019-06-18rustc: remove 'x: 'y bounds (except from comments/strings).Eduard-Mihai Burtescu-1/+1
2019-06-14Remove unnecessary lift callsJohn Kåre Alsaker-32/+18
2019-06-14Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-3/+2
2019-06-14Unify all uses of 'gcx and 'tcx.Eduard-Mihai Burtescu-54/+54
2019-06-12Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-5/+1
2019-06-12rustc: replace `TyCtxt<'tcx, 'gcx, 'tcx>` with `TyCtxt<'gcx, 'tcx>`.Eduard-Mihai Burtescu-8/+8
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/+13
2019-06-05Refactor `ConstVariableOrigin` into `ConstVariableOrigin` and `ConstVariableO...varkor-3/+9
2019-06-05Refactor `TypeVariableOrigin` into `TypeVariableOrigin` and `TypeVariableOrig...varkor-2/+6
2019-06-03Don't canonicalize `'static` in normalizeMatthew Jasper-3/+7
2019-05-06Resolve a couple of `unimplemented!()`svarkor-4/+6
2019-05-01Create ShallowResolvervarkor-1/+1
2019-05-01Fix rebase from LazyConst removalvarkor-69/+57
2019-05-01Handle `ConstValue::Placeholder` in `canonicalizer`varkor-4/+21
2019-05-01Add `PlaceholderConst`varkor-0/+12
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-01 07:10:35 +0000