summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2018-11-20Fix Rustdoc ICE when checking blanket implsAaron Hill-1/+12
2018-11-19remove "approx env bounds" if we already know from traitNiko Matsakis-7/+23
2018-10-29back out bogus `Ok`-wrapping suggestion on `?` arm type mismatchZack M. Davis-11/+1
2018-10-29Remove 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-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
2018-10-15make `UniverseIndex` hashable, rename "sub-" to "superuniverse"Niko Matsakis-4/+4
2018-10-15control canonicalization with a trait vs boolsNiko Matsakis-42/+83
2018-10-15introduce `canonical_var_for_region` helper fnNiko Matsakis-15/+11
2018-10-15rename `QueryResult` to `QueryResponse`Niko Matsakis-62/+62
2018-10-15bundle up "canonical instantiation" with infcx creationNiko Matsakis-11/+37
2018-10-15canonicalizer.rs: rustfmtNiko Matsakis-24/+18
2018-10-04fix typo: s/tained/tainted/Niko Matsakis-1/+1
2018-10-04remove occurences of `skolemization`Niko Matsakis-34/+34
2018-10-04remove all occurences of `skolemize`Niko Matsakis-2/+2
2018-10-04extend NLL universe code to have >1 placeholder within one universeNiko Matsakis-12/+19
2018-10-04create just one subuniverse per binder -- no need for more, reallyNiko Matsakis-69/+37
2018-10-04reorder the placeholders and inference variables in hr::subNiko Matsakis-7/+9
2018-10-04rename skolemized to placeholderNiko Matsakis-104/+112
2018-10-03Introduce `TyKind::UnnormalizedProjection`scalexm-0/+2
2018-10-02Auto merge of #54701 - arielb1:outlives-later, r=nikomatsakisbors-1/+1
2018-10-01normalize param-env type-outlives predicates lastAriel Ben-Yehuda-1/+1
2018-10-01Rollup merge of #54641 - ljedrz:cleanup_rustc_infer, r=estebankkennytm-200/+170
2018-09-29don't elide lifetimes in paths in librustc/Zack M. Davis-31/+31
2018-09-29rustc/infer: miscellaneous minor code improvementsljedrz-8/+6
2018-09-29rustc/infer: readability improvementsljedrz-25/+21
2018-09-29rustc/infer: improve vector allocationsljedrz-35/+37
2018-09-29rustc/infer: use to_owned instead of to_string with string literalsljedrz-10/+10
2018-09-29rustc/infer: convert single-branch matches to if-letljedrz-104/+88
2018-09-29rustc/infer: use unwrap_or(_else) where applicableljedrz-18/+8
2018-09-28rustc: keep a Span for each predicate in ty::GenericPredicates.Eduard-Mihai Burtescu-2/+5
2018-09-26rustfmt `error_reporting/mod.rs` and `dropck.rs`Niko Matsakis-63/+69
2018-09-26convert from an `UnlessNll` flag to a `SuppressRegionErrors` flagNiko Matsakis-26/+40
2018-09-26use `IfEq` to defer equality comparison around `where` clauses`Niko Matsakis-49/+59
2018-09-26refactor away `AnyRegions` and `AllRegions`Niko Matsakis-38/+49
2018-09-26introduce `VerifyBound::IfEq` (presently unused)Niko Matsakis-26/+106
2018-09-26change to use impl Trait a bitNiko Matsakis-14/+15
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-12 12:03:26 +0000