about summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
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
2018-09-26remove handling of verify from taintsetNiko Matsakis-37/+25
2018-09-26make `normalize` work on any type-foldableNiko Matsakis-11/+19
2018-09-26lexical_region_resolve: rustfmtNiko Matsakis-44/+30
2018-09-26use approx. bounds to decide whether to add outlives obligationsNiko Matsakis-1/+10
2018-09-26propagate the `compare_ty` fn further upNiko Matsakis-18/+17
2018-09-26introduce the idea of an "approximate match"Niko Matsakis-39/+56
2018-09-26introduce a "comparison fn" instead of always use `==`Niko Matsakis-11/+10
2018-09-26split out getting the declared bounds from the env versus traitNiko Matsakis-23/+38
2018-09-26break out the code that computes VerifyBoundsNiko Matsakis-218/+276
2018-09-26apply `process_registered_region_obligations` at the end of regionckNiko Matsakis-27/+30
2018-09-26use `RegionBoundPairs` type aliasNiko Matsakis-5/+6
2018-09-26change `RegionObligation` to store a `SubregionOrigin`Niko Matsakis-20/+37
2018-09-26use a `UnlessNll` flag to consolidate error reporting pathsNiko Matsakis-32/+15
2018-09-26build up a map of the region-bound pairs for each body-idNiko Matsakis-10/+55
2018-09-26outlives/env: rustfmtNiko Matsakis-4/+6
2018-09-25Handle locals in closures properly.Alexander Regueiro-8/+5
2018-09-25Lower `impl Trait` types in locals.Alexander Regueiro-3/+3
2018-09-23Auto merge of #54262 - matthewjasper:explain-in-typeck, r=nikomatsakisbors-1/+1
2018-09-20Auto merge of #54241 - vi:suggest_with_applicability, r=estebankbors-5/+9
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-09 05:18:17 +0000