summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2018-12-01Rollup merge of #56214 - scalexm:unification, r=nikomatsakiskennytm-96/+226
2018-11-29Add inline attributes and add unit to CommonTypesJohn Kåre Alsaker-0/+2
2018-11-29Correctly generalize inference variables in `nll_relate`scalexm-11/+6
2018-11-29Fix doc commentsscalexm-5/+5
2018-11-29Handle inference variables in `nll_relate` and use it for chalkscalexm-96/+231
2018-11-29Rollup merge of #56257 - mark-i-m:rustc-guide-links, r=nikomatsakisGuillaume Gomez-11/+11
2018-11-26rustc-guide has movedMark Mansi-11/+11
2018-11-26Put all existential ty vars in the `ROOT` universescalexm-6/+12
2018-11-25Auto merge of #55906 - nnethercote:rm-OpenSnapshot-CommittedSnapshot, r=nikom...bors-51/+44
2018-11-25Remove `OpenSnapshot` and `CommittedSnapshot` markers from `RegionConstraintC...Nicholas Nethercote-42/+32
2018-11-25Introduce `in_snapshot` and `assert_open_snapshot` methods.Nicholas Nethercote-4/+7
2018-11-25Make `commit` and `rollback_to` methods take ownership of the snapshots.Nicholas Nethercote-1/+1
2018-11-25Rename `UndoLogEntry` as `UndoLog`.Nicholas Nethercote-6/+6
2018-11-24Move `BoundTy` debruijn index to the `TyKind` enum variantscalexm-8/+8
2018-11-24Instantiate all bound vars universallyscalexm-19/+30
2018-11-24Handle placeholder types in canonicalizationscalexm-20/+83
2018-11-24Add `HAS_TY_PLACEHOLDER` flagscalexm-2/+6
2018-11-24Introduce `TyKind::Placeholder` variantscalexm-3/+4
2018-11-24Distinguish between placeholder kindsscalexm-7/+7
2018-11-21rustc: implement and use Default on more types.Eduard-Mihai Burtescu-11/+3
2018-11-21rustc: remove {FxHash,Node,DefId,HirId,ItemLocal}{Map,Set} "constructor" fns.Eduard-Mihai Burtescu-1/+1
2018-11-19Rollup merge of #56043 - nikomatsakis:issue-55756-via-outlives, r=eddybPietro Albini-7/+23
2018-11-19Rollup merge of #55953 - blitzerr:master, r=nikomatsakisPietro Albini-3/+3
2018-11-18remove "approx env bounds" if we already know from traitNiko Matsakis-7/+23
2018-11-15Rollup merge of #55901 - euclio:speling, r=petrochenkovPietro Albini-9/+9
2018-11-15Rollup merge of #55778 - nnethercote:LrcPreds, r=eddybPietro Albini-2/+2
2018-11-14capture_disjoint_fields(rust-lang#53488)Blitzerr-3/+3
2018-11-14Wrap some query results in `Lrc`.Nicholas Nethercote-2/+2
2018-11-13Auto merge of #55912 - kennytm:rollup, r=kennytmbors-1/+1
2018-11-13fix various typos in doc commentsAndy Russell-9/+9
2018-11-13Instantiate all bound vars existentiallyscalexm-12/+12
2018-11-11Fix typos.Bruce Mitchener-1/+1
2018-11-11Rollup merge of #55745 - nnethercote:outlives_components-SmallVec, r=matthewj...Pietro Albini-10/+13
2018-11-08Rollup merge of #55638 - pnkfelix:issue-55608-ice-reempty-msg_span_from_free_...Mark Rousskov-0/+1
2018-11-08Use `SmallVec` outparams in several functions.Nicholas Nethercote-10/+13
2018-11-07Rollup merge of #55734 - teresy:shorthand-fields, r=davidtwcokennytm-4/+4
2018-11-06refactor: use shorthand fieldsteresy-4/+4
2018-11-03Substitute binders directlyscalexm-12/+13
2018-11-03Rename `as_bound_var` to `assert_bound_var`scalexm-2/+2
2018-11-03Fix doc commentscalexm-1/+1
2018-11-03Extend `ty::fold::RegionReplacer` to `ty::fold::BoundVarReplacer`scalexm-75/+14
2018-11-03Rename `Binder::no_late_bound_regions` to `Binder::no_bound_vars`scalexm-1/+1
2018-11-03Remove `ReCanonical` in favor of `ReLateBound`scalexm-50/+59
2018-11-03Adjust bound tys indices in canonicalizationscalexm-10/+52
2018-11-03Rename `BoundTyIndex` to `BoundVar`scalexm-19/+19
2018-11-03Shift both late bound regions and bound typesscalexm-3/+3
2018-11-03Move `BoundTy` to `ty::TyKind`scalexm-18/+12
2018-11-03Sidestep an ICE by providing *some* description for `ReEmpty` when it arises.Felix S. Klock II-0/+1
2018-11-02Auto merge of #55305 - nikomatsakis:universes-refactor-3, r=scalexmbors-330/+247
2018-10-31kill old-style-lub warningsNiko Matsakis-300/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-11 00:50:30 +0000