summary refs log tree commit diff
path: root/src/librustc/middle/infer
AgeCommit message (Expand)AuthorLines
2016-02-23Revert "Auto merge of #30533 - nikomatsakis:fulfillment-tree, r=aturon"Niko Matsakis-4/+11
2016-02-18Split dummy in region inference graph into distinct source and sink nodes.Felix S. Klock II-3/+10
2016-01-18Auto merge of #30953 - KalitaAlexey:17823-get-rid-of-duplicate-error, r=nrcbors-3/+14
2016-01-18simplify E0308 message for primitive typeskalita.alexey-3/+14
2016-01-16fallout from removing the `errors_will_be_reported` flagNiko Matsakis-11/+4
2016-01-07Rename fold_subitems_with to super_fold_withJeffrey Seyfried-5/+5
2016-01-07Refactor away extension traits RegionEscape and HasTypeFlagsJeffrey Seyfried-11/+8
2016-01-07Create a visitor for `TypeFoldable`s and use it to implement RegionEscape and...Jeffrey Seyfried-10/+10
2015-12-30RefactoringNick Cameron-17/+15
2015-12-30use structured errorsNick Cameron-165/+269
2015-12-28remove hack in region inferenceAriel Ben-Yehuda-7/+0
2015-12-20Auto merge of #30470 - petrochenkov:owned5, r=nrcbors-11/+11
2015-12-19Improve OwnedSlice and use it in HIRVadim Petrochenkov-11/+11
2015-12-18Auto merge of #30389 - nikomatsakis:rfc1214-error, r=arielb1bors-32/+6
2015-12-18Make RFC 1214 warnings into errors, and rip out the "warn or err"Niko Matsakis-32/+6
2015-12-18Abstract away differences between Vec and ptr::P in HIRVadim Petrochenkov-6/+6
2015-12-18Deprecate name `OwnedSlice` and don't use itVadim Petrochenkov-6/+5
2015-12-17Remove unused importsJeffrey Seyfried-5/+3
2015-12-16Auto merge of #30341 - pnkfelix:call-site-scope, r=nikomatsakisbors-0/+3
2015-12-16Rollup merge of #30368 - arielb1:region-unification-2, r=nikomatsakisManish Goregaokar-6/+30
2015-12-15Ensure borrows of fn/closure params do not outlive invocations.Felix S. Klock II-0/+3
2015-12-13Auto merge of #30339 - Manishearth:oops-i-did-it-again, r=eddybbors-1/+0
2015-12-12fix dropck performance regressionAriel Ben-Yehuda-6/+30
2015-12-12Auto merge of #30242 - arielb1:region-unification, r=nikomatsakisbors-2/+74
2015-12-11Remove leftover debugging code (fixes #30336)Manish Goregaokar-1/+0
2015-12-07Auto merge of #30087 - petrochenkov:indi, r=nrcbors-2/+2
2015-12-07introduce a region unification table and use it in dropckAriel Ben-Yehuda-2/+74
2015-12-07Remove some unnecessary indirection from HIR structuresVadim Petrochenkov-2/+2
2015-12-05std: Stabilize APIs for the 1.6 releaseAlex Crichton-4/+4
2015-12-02s/isize/i32Tobias Bucher-2/+2
2015-12-01Replace uses of int/uint with isize/uzsize in doc examplesFlorian Hahn-2/+2
2015-11-26split the metadata code into rustc_metadataAriel Ben-Yehuda-1/+1
2015-11-26remove csearch from the rest of rustcAriel Ben-Yehuda-2/+2
2015-11-26Use the TypeOrigin variants qualified.Ms2ger-32/+33
2015-11-20Change TraitRef subtyping checks to equalityAaron Turon-7/+19
2015-11-17Auto merge of #29766 - oli-obk:impl_item, r=nikomatsakisbors-2/+2
2015-11-16Remove `TyParen` from HIRVadim Petrochenkov-1/+0
2015-11-16ImplItem_ -> ImplItemKind renameOliver Schneider-2/+2
2015-11-16rename ImplItem_::*ImplItem to ImplItem_::*Oliver Schneider-2/+2
2015-11-05remove excess string allocationSteve Klabnik-2/+2
2015-10-31Rustfmt region_inference.Ms2ger-357/+326
2015-10-29Auto merge of #29188 - nikomatsakis:remove-contraction, r=pnkfelixbors-429/+83
2015-10-28Do some slight refactoring, leave the rest for #29436Niko Matsakis-41/+25
2015-10-28Update docs for region inference to reflect current state betterNiko Matsakis-46/+46
2015-10-28Don't "double check" var-sub-var constraints, which are handled inNiko Matsakis-12/+4
2015-10-28remove SupSupConflict, which is now dead codeNiko Matsakis-49/+0
2015-10-28Remove contraction. The contraction rules predated the notion of anNiko Matsakis-291/+18
2015-10-27Diagnostic: "`if let` arm with incompatible type"Jonas Schievink-6/+12
2015-10-08typos: fix a grabbag of typos all over the placeCristi Cobzarenco-1/+1
2015-10-02Auto merge of #28626 - arielb1:closure-needs-infer, r=nikomatsakisbors-1/+8