about summary refs log tree commit diff
path: root/src/librustc/infer/canonical
AgeCommit message (Expand)AuthorLines
2019-04-25Update trait queriesJohn Kåre Alsaker-4/+5
2019-03-27Add `next_int_var` and `next_float_var`varkor-2/+2
2019-03-13Use derive macro for HashStableJohn Kåre Alsaker-7/+8
2019-03-05Stub methods in infervarkor-0/+18
2019-02-22Fix #57979 by allowing a legitimate type error to take precedence over an ICE.Felix S. Klock II-1/+10
2019-02-10rustc: doc commentsAlexander Regueiro-10/+10
2019-02-05move librustc to 2018Mark Mansi-30/+30
2018-12-27Use `TraitEngine` in `enter_canonical_trait_query`scalexm-7/+11
2018-12-27Integrate chalk enginescalexm-3/+36
2018-12-25Remove licensesMark Rousskov-40/+0
2018-12-19Auto merge of #54252 - arielb1:deref-query, r=nikomatsakisbors-0/+25
2018-12-15address review commentsAriel Ben-Yehuda-3/+1
2018-12-15implement "isolated" autoderef using the Canonical mechanismAriel Ben-Yehuda-0/+27
2018-12-12infer: remove Box from a returned Iteratorljedrz-26/+25
2018-11-29Rollup merge of #56257 - mark-i-m:rustc-guide-links, r=nikomatsakisGuillaume Gomez-7/+7
2018-11-26rustc-guide has movedMark Mansi-7/+7
2018-11-26Put all existential ty vars in the `ROOT` universescalexm-6/+12
2018-11-24Move `BoundTy` debruijn index to the `TyKind` enum variantscalexm-8/+8
2018-11-24Handle placeholder types in canonicalizationscalexm-19/+60
2018-11-24Add `HAS_TY_PLACEHOLDER` flagscalexm-2/+6
2018-11-24Introduce `TyKind::Placeholder` variantscalexm-0/+1
2018-11-24Distinguish between placeholder kindsscalexm-3/+3
2018-11-15Rollup merge of #55901 - euclio:speling, r=petrochenkovPietro Albini-3/+3
2018-11-13fix various typos in doc commentsAndy Russell-3/+3
2018-11-13Instantiate all bound vars existentiallyscalexm-1/+1
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-03Remove `ReCanonical` in favor of `ReLateBound`scalexm-40/+57
2018-11-03Adjust bound tys indices in canonicalizationscalexm-10/+52
2018-11-03Rename `BoundTyIndex` to `BoundVar`scalexm-19/+19
2018-11-03Move `BoundTy` to `ty::TyKind`scalexm-16/+10
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-20Rename InferTy::CanonicalTy to BoundTy and add DebruijnIndex to variant typeFabian Drinck-13/+21
2018-10-20Rename CanonicalVar to BoundTyIndexFabian Drinck-19/+19
2018-10-19remove outdated assertionNiko Matsakis-8/+1
2018-10-15make `instantiate_canonical_with_fresh_inference_vars` public againNiko Matsakis-4/+1
2018-10-15hide `SmallCanonicalVarValues` in `OriginalQueryValues` structNiko Matsakis-32/+51
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-9/+14
2018-10-15canonicalizer.rs: rustfmtNiko Matsakis-24/+18
2018-10-04rename skolemized to placeholderNiko Matsakis-1/+1
2018-10-03Introduce `TyKind::UnnormalizedProjection`scalexm-0/+1
2018-09-29rustc/infer: readability improvementsljedrz-17/+15
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-23 20:23:02 +0000