about summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2018-06-27rustfmt various filesNiko Matsakis-2/+3
2018-06-27change the `enter_canonical_trait_query` method to give a fulfill cxNiko Matsakis-5/+17
2018-06-27extend comment to note complications around lifetimesNiko Matsakis-0/+7
2018-06-27pacify the mercilous tidyNiko Matsakis-4/+1
2018-06-27improve comment on instantiate NLL query result fnNiko Matsakis-10/+38
2018-06-27extract out query boilerplate and use for `Eq`Niko Matsakis-14/+43
2018-06-26convert query-type-op to create query-region-constraint directlyNiko Matsakis-39/+46
2018-06-26add a streamlined `instantiate_query_result` method for NLL queriesNiko Matsakis-2/+84
2018-06-26extract more helpers from instantiating query resultNiko Matsakis-24/+79
2018-06-26introduce `canonicalize_hr_query_hack`Niko Matsakis-10/+69
2018-06-26remove `Canonicalization` trait, which serves no purposeNiko Matsakis-55/+25
2018-06-26extract `query_result_substitution` helperNiko Matsakis-17/+51
2018-06-26rename `instantiate_query_result`Niko Matsakis-1/+1
2018-06-26move `Debug` bounds onto `Lift`Niko Matsakis-2/+0
2018-06-26make one `Canonicalize` impl for `QueryResult`Niko Matsakis-21/+35
2018-06-26replace `LexicalRegionConstraintData` with `QueryRegionConstraint`Niko Matsakis-2/+2
2018-06-26extract the handling of region constraints from queriesNiko Matsakis-40/+50
2018-06-26extract a helper for `make_query_result` that skips canonicalizationNiko Matsakis-11/+27
2018-06-26move `make_query_response` into method on infcxNiko Matsakis-1/+130
2018-06-26break canonicalizer into submodules to make it easier to comprehendNiko Matsakis-594/+689
2018-06-26promote canonical into a moduleNiko Matsakis-0/+0
2018-06-26align the `type-op` outputs with what canonicalized queries giveNiko Matsakis-3/+3
2018-06-26make `TypeOutlives` parameterized over a delegateNiko Matsakis-31/+90
2018-06-26obligations.rs: rustfmtNiko Matsakis-31/+16
2018-06-26resolve type vars *before* entering `type_must_outlive`Niko Matsakis-2/+2
2018-06-24Update broken rustc-guide linksAlex Kitchens-7/+7
2018-06-21Auto merge of #51690 - nikomatsakis:issue-51683-existential-fail, r=oli-obkbors-2/+2
2018-06-21tolerate existential types whose concrete expansion is not knownNiko Matsakis-2/+2
2018-06-20Use lifetime name if availableEsteban Küber-4/+10
2018-06-20Lift bounds into GenericParamvarkor-7/+2
2018-06-20Refactor generic parameters in rustdoc/cleanvarkor-8/+6
2018-06-20Refactor hir::GenericParam as a structvarkor-3/+9
2018-06-18Auto merge of #51248 - fabric-and-ink:newtype_index_debrujin, r=nikomatsakisbors-4/+3
2018-06-18Auto merge of #51460 - nikomatsakis:nll-perf-examination-refactor-1, r=pnkfelixbors-1/+14
2018-06-18Auto merge of #51414 - oli-obk:impl_trait_type_def, r=pnkfelixbors-2/+11
2018-06-14Declare DebruijnIndex via newtype_index macroFabian Drinck-4/+3
2018-06-10Fix error codesGuillaume Gomez-1/+1
2018-06-09introduce `any_unifications` flagNiko Matsakis-1/+14
2018-06-08Remove primary label for more readable outputEsteban Küber-2/+1
2018-06-08Suggestion for 'static impl Trait returnEsteban Küber-0/+97
2018-06-07Add existential type definitonsOliver Schneider-2/+11
2018-05-28port `nice_region_error` code to not track depth but rather indexNiko Matsakis-15/+15
2018-05-28stop invoking `DebruijnIndex::new` directlyNiko Matsakis-1/+2
2018-05-28port `fold_regions` and friends to use debruijn indices directlyNiko Matsakis-3/+5
2018-05-28Auto merge of #50724 - zackmdavis:applicability_rush, r=Manishearthbors-2/+5
2018-05-21rustc: move TypeParamDef's fields into GenericParamDefKind::Type.Eduard-Mihai Burtescu-1/+1
2018-05-21rustc: don't call Kind::from directly, use .into() instead.Eduard-Mihai Burtescu-5/+5
2018-05-20suggestion applicabilities for libsyntax and librustc, run-rustfix testsZack M. Davis-2/+5
2018-05-18use `reset_unifications` instead of creating new unification tableNiko Matsakis-5/+2
2018-05-17Rename trans to codegen everywhere.Irina Popa-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-10 23:49:05 +0000