about summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2017-11-16extract the `tcx` out from `RegionVarBindings`Niko Matsakis-80/+88
2017-11-16region_inference: rustfmtNiko Matsakis-147/+188
2017-11-16extract storage of region values from `RegionVarBindings`Niko Matsakis-101/+84
2017-11-16move `RegionResolutionError` into `lexical_region_resolve`Niko Matsakis-34/+42
2017-11-16region_inference: extract taint into a sub-moduleNiko Matsakis-85/+100
2017-11-16region_inference: tighten up `pub`, stop re-exporting enum variantsNiko Matsakis-82/+75
2017-11-15move region resolution to be a sibling of `region_inference`Niko Matsakis-10/+9
2017-11-15extract lexical region resolution into its own sub-moduleNiko Matsakis-688/+743
2017-11-15move the `OutlivesEnvironment` into `infer` so that `nll` can use itNiko Matsakis-0/+322
2017-11-15rename mod `region_obligations` to `outlives::obligations`Niko Matsakis-1/+2
2017-11-15do not invoke `required_region_bounds` in `region_obligations`Niko Matsakis-6/+34
2017-11-15refactor how we extract outlives bounds from trait definitionsNiko Matsakis-142/+92
2017-11-15move the `region_obligations` processing code into `InferCtxt`Niko Matsakis-27/+627
2017-11-15extract `regionck_outlives` into a separate helper functionNiko Matsakis-0/+21
2017-11-15assert that we are consuming all of the region obligationsNiko Matsakis-3/+3
2017-11-15convert EXTRA_REQUIREMENT_IN_IMPL into a hard errorNiko Matsakis-14/+5
2017-11-15move region constraints into inference contextNiko Matsakis-1/+76
2017-11-12remove trailing whitespace from comment blockCengiz Can-4/+4
2017-11-12add reasons of using BTreeMap to a commentCengiz Can-0/+6
2017-11-12use BTreeMap for region constraintsCengiz Can-5/+7
2017-11-12Improve SubSupConflict case with one named, one anonymous lifetime parameter ...Cengiz Can-0/+2
2017-11-12Auto merge of #45870 - mikeyhew:arbitrary_self_types, r=arielb1bors-2/+6
2017-11-09add a comment explaining the bugfix to infer::region_inference::add_constraintMichael Hewson-0/+3
2017-11-09fix the bug in region_inference where constraint origins were being overwrittenMichael Hewson-2/+3
2017-11-07Rollup merge of #45751 - estebank:issue-44684, r=nikomatsakiskennytm-30/+42
2017-11-06review commentsEsteban Küber-2/+2
2017-11-06Auto merge of #45668 - nikomatsakis:nll-free-region, r=arielb1bors-0/+21
2017-11-06Auto merge of #45756 - topecongiro:fix-typos/librustc_typeck, r=kennytmbors-1/+1
2017-11-05Auto merge of #45770 - spastorino:newtype_index, r=nikomatsakisbors-0/+1
2017-11-05Handle anon lifetime arg being returned with named lifetime return typeEsteban Küber-30/+42
2017-11-04Make DefIndex use newtype_index macroSantiago Pastorino-0/+1
2017-11-04Fix typostopecongiro-1/+1
2017-11-02add some better debugsNiko Matsakis-1/+4
2017-11-02emit less info when we warnNiko Matsakis-3/+2
2017-11-02convert (lexical) region errors to warn when NLL is enabledNiko Matsakis-9/+10
2017-11-02ignore region errors if NLL is enabledNiko Matsakis-0/+21
2017-11-01Improve display of error E0308 for structsJosh Leeb-du Toit-13/+40
2017-10-27Implement RFC 1861: Extern typesPaul Lietar-0/+1
2017-10-21trans_ -> fully_ prefixMarco Concetto Rudilosso-3/+3
2017-10-21added trans_ prefix and pluralised types. Solved failing test on the incremen...Marco Concetto Rudilosso-3/+3
2017-10-21Create NormalizeTy queryMarco Concetto Rudilosso-3/+3
2017-10-02fix handling of `Self`Ariel Ben-Yehuda-1/+2
2017-10-01fix handling of SelfAriel Ben-Yehuda-2/+1
2017-10-01handle nested generics in Generics::type_param/region_paramAriel Ben-Yehuda-1/+1
2017-09-29Rollup merge of #44124 - gaurikholkar:return_self, r=arielb1Mark Simulacrum-81/+104
2017-09-27Auto merge of #44782 - estebank:issue-36700, r=GuillaumeGomezbors-10/+60
2017-09-26minor fixesgaurikholkar-2/+1
2017-09-26remove random newlines from error messages, fix compile-fail testNiko Matsakis-4/+4
2017-09-26use present tense consistently and update referencesNiko Matsakis-2/+2
2017-09-26tidy fixgaurikholkar-1/+1