about summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
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
2018-10-30Rollup merge of #55205 - ljedrz:faster_fxhashmap/set_population, r=estebankkennytm-4/+1
2018-10-29Improve a few cases of collecting to an FxHash(Map/Set)ljedrz-4/+1
2018-10-27back out bogus `Ok`-wrapping suggestion on `?` arm type mismatchZack M. Davis-11/+1
2018-10-27distinguish user-type annotations from other annotationsNiko Matsakis-0/+37
2018-10-27when canonicalizing query responses, preserve infer-var universesNiko Matsakis-9/+38
2018-10-27extend query response to potentially contain fresh universesNiko Matsakis-28/+141
2018-10-27allow canonicalized regions to carry universe and track max-universeNiko Matsakis-8/+42
2018-10-26Rollup merge of #55358 - sinkuu:redundant_clone2, r=estebankkennytm-3/+3
2018-10-26Rollup merge of #55258 - Aaron1011:fix/rustdoc-blanket, r=GuillaumeGomezkennytm-1/+12
2018-10-26Remove redundant cloneShotaro Yamada-3/+3
2018-10-24port the relate-types code from NLL type-check into a type-opNiko Matsakis-0/+22
2018-10-22Fix Rustdoc ICE when checking blanket implsAaron Hill-1/+12
2018-10-20Rename InferTy::CanonicalTy to BoundTy and add DebruijnIndex to variant typeFabian Drinck-14/+22
2018-10-20Rename CanonicalVar to BoundTyIndexFabian Drinck-19/+19
2018-10-20Auto merge of #55114 - oli-obk:fx#map, r=nikomatsakisbors-20/+16
2018-10-19suppress duplicate -- or near duplicate -- type test errorsNiko Matsakis-1/+1
2018-10-19Prefer `Default::default` over `FxHash*::default` in struct constructorsOliver Scherer-16/+12
2018-10-19Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hackOliver Scherer-9/+9
2018-10-19remove outdated assertionNiko Matsakis-8/+1
2018-10-15move `force_instantiate_unchecked` to be local to `nll_relate` codeNiko Matsakis-59/+61
2018-10-15extract `type_relate` into the inference context as `nll_relate`Niko Matsakis-1/+677
2018-10-15make `instantiate_canonical_with_fresh_inference_vars` public againNiko Matsakis-4/+1
2018-10-15add `force_instantiate_unchecked` methodNiko Matsakis-0/+59
2018-10-15remove the sub/super terminology for universesNiko Matsakis-9/+6
2018-10-15pacify the mercilous tidy with rustfmtNiko Matsakis-11/+7
2018-10-15hide `SmallCanonicalVarValues` in `OriginalQueryValues` structNiko Matsakis-32/+51