summary refs log tree commit diff
path: root/src/librustc/traits
AgeCommit message (Expand)AuthorLines
2019-07-02pass a `&mut QueryRegionConstraints` not just outlives constraintsNiko Matsakis-6/+6
2019-07-02introduce `QueryRegionConstraints` structNiko Matsakis-13/+13
2019-07-02rename `QueryRegionConstraint` to `QueryOutlivesConstraint`Niko Matsakis-7/+7
2019-06-26Don't use lift to detect local typesJohn Kåre Alsaker-65/+84
2019-06-24HIR: rename find_by_hir_id to findljedrz-2/+2
2019-06-24HIR: rename get_parent_node_by_hir_id to get_parent_nodeljedrz-2/+2
2019-06-20replace NodeId with HirId in traits::ObligationCauseCodeljedrz-4/+4
2019-06-19rustc: disallow cloning HIR nodes.Eduard-Mihai Burtescu-2/+2
2019-06-19Rollup merge of #61842 - Zoxc:trim-lift, r=eddybMazdak Farrokhzad-19/+8
2019-06-18rustc: reintroduce lifetime bounds where necessary.Eduard-Mihai Burtescu-2/+2
2019-06-18rustc: remove unused lifetimes.Eduard-Mihai Burtescu-1/+1
2019-06-18rustc: remove leftover lifetimes with no bounds from where clauses.Eduard-Mihai Burtescu-1/+0
2019-06-18rustc: remove 'x: 'y bounds (except from comments/strings).Eduard-Mihai Burtescu-9/+9
2019-06-17remove _by_hir_id if there is no NodeId counterpartljedrz-2/+2
2019-06-17replace some uses of NodeId with HirIdljedrz-4/+2
2019-06-16Auto merge of #61754 - nikomatsakis:trait-caching-perf-3, r=pnkfelixbors-82/+406
2019-06-14Remove unnecessary lift callsJohn Kåre Alsaker-19/+8
2019-06-14Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-165/+143
2019-06-14Unify all uses of 'gcx and 'tcx.Eduard-Mihai Burtescu-390/+369
2019-06-12correctly set the `reached_depth` fieldNiko Matsakis-3/+13
2019-06-12add more debug logsNiko Matsakis-2/+40
2019-06-12add the "provisional cache"Niko Matsakis-4/+192
2019-06-12add in a depth-first number for stack entriesNiko Matsakis-0/+16
2019-06-12introduce ProvisionalEvaluationCacheNiko Matsakis-5/+16
2019-06-12execute cycle check before we consider cachingNiko Matsakis-62/+83
2019-06-12Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-155/+146
2019-06-12rustc: remove some unnecessary lifetimes in -> TyCtxt methods.Eduard-Mihai Burtescu-1/+1
2019-06-12rustc: replace `TyCtxt<'tcx, 'gcx, 'tcx>` with `TyCtxt<'gcx, 'tcx>`.Eduard-Mihai Burtescu-104/+104
2019-06-12Fix fallout from `deny(unused_lifetimes)`.Eduard-Mihai Burtescu-51/+51
2019-06-12rustc: replace `TyCtxt<'a, 'gcx, 'tcx>` with `TyCtxt<'tcx, 'gcx, 'tcx>`.Eduard-Mihai Burtescu-125/+125
2019-06-12Rollup merge of #61568 - Mark-Simulacrum:symbol-fmt-macros, r=estebankMazdak Farrokhzad-35/+35
2019-06-11propagate depth that was reached, not just whether there was a cycleNiko Matsakis-18/+43
2019-06-11introduce a stack depthNiko Matsakis-2/+16
2019-06-11rename `evaluate_obligation_recursively`Niko Matsakis-5/+6
2019-06-11Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-4/+1
2019-06-11rustc: deny(unused_lifetimes).Eduard-Mihai Burtescu-8/+8
2019-06-09Use Symbol for named arguments in fmt_macrosMark Rousskov-33/+33
2019-06-09Make a few methods privateMark Rousskov-2/+2
2019-06-06Auto merge of #57428 - alexreg:associated_type_bounds, r=nikomatsakis,Centrilbors-23/+22
2019-06-05Implemented for function bounds, type bounds, and named existential types.Alexander Regueiro-2/+1
2019-06-05Aggregation of drive-by cosmetic changes.Alexander Regueiro-21/+21
2019-06-05Refactor `TypeVariableOrigin` into `TypeVariableOrigin` and `TypeVariableOrig...varkor-5/+18
2019-06-03Don't canonicalize `'static` in normalizeMatthew Jasper-1/+3
2019-05-31Add more information in ConstEvalFailure errorvarkor-2/+5
2019-05-30Auto merge of #61253 - nnethercote:avoid-hygiene_data-lookups, r=petrochenkovbors-1/+1
2019-05-29Introduce and use `SyntaxContext::outer_expn_info()`.Nicholas Nethercote-1/+1
2019-05-28Rename `OpportunisticTypeResolver` to `OpportunisticVarResolver`varkor-35/+35
2019-05-28Resolve consts in OpportunisticTypeResolvervarkor-1/+1
2019-05-26Rename "Associated*" to "Assoc*"Andrew Xu-31/+31
2019-05-25Don't use `ty::Const` without immediately interningOliver Scherer-4/+2