summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2019-02-25Auto merge of #58649 - pnkfelix:issue-57464-avoid-ice-when-region-sneaks-into...bors-1/+10
2019-02-22Fix #57979 by allowing a legitimate type error to take precedence over an ICE.Felix S. Klock II-1/+10
2019-02-21update test files to reflect new outputNiko Matsakis-0/+12
2019-02-21restore the actual leak-checkNiko Matsakis-13/+170
2019-02-21introduce a dummy leak check and invoke it in all the right placesNiko Matsakis-15/+44
2019-02-21reintroduce `commit_if_ok` calls to `subtype_predicate`Niko Matsakis-14/+16
2019-02-21reintroduce `commit_if_ok` call into `higher_ranked_sub`Niko Matsakis-26/+25
2019-02-20Auto merge of #58056 - nikomatsakis:issue-57843-universe-leak, r=pnkfelixbors-26/+81
2019-02-19Auto merge of #57896 - oli-obk:permissive_existence, r=cramertjbors-1/+1
2019-02-15make generalization code create new variables in correct universeNiko Matsakis-21/+64
2019-02-15include more universe information in `debug!` printoutsNiko Matsakis-5/+17
2019-02-14Rollup merge of #58347 - matthewjasper:closure-bounds-fixes, r=pnkfelixMazdak Farrokhzad-20/+21
2019-02-14Rollup merge of #58267 - estebank:match-arms, r=matthewjasperMazdak Farrokhzad-12/+21
2019-02-13Buffer and migrate nice region errorsMatthew Jasper-20/+21
2019-02-13HirId-ify hir::BodyIdljedrz-14/+15
2019-02-13Rollup merge of #58273 - taiki-e:rename-dependency, r=matthewjasperMazdak Farrokhzad-17/+18
2019-02-13Rollup merge of #58137 - ljedrz:cleanup_node_id_to_type, r=estebankMazdak Farrokhzad-3/+3
2019-02-12Auto merge of #58341 - alexreg:cosmetic-2-doc-comments, r=steveklabnikbors-125/+134
2019-02-13Cleanup importsTaiki Endo-12/+13
2019-02-13Rename rustc_errors dependency in rust 2018 cratesTaiki Endo-7/+7
2019-02-11Remove two dead functions.Nicholas Nethercote-8/+0
2019-02-10rustc: doc commentsAlexander Regueiro-125/+134
2019-02-10Auto merge of #58151 - ljedrz:HirIdify_rustc, r=Zoxcbors-14/+10
2019-02-09cleanup: rename node_id_to_type(_opt)ljedrz-3/+3
2019-02-08review comments: (marginally) reduce memory consumtionEsteban Küber-5/+9
2019-02-07Reweork incompatible match arms errorEsteban Küber-12/+17
2019-02-05rustc: partially HirIdifyljedrz-14/+10
2019-02-05move librustc to 2018Mark Mansi-209/+209
2019-02-03cleanup: don't use node_to_hir_id where unneededljedrz-3/+2
2019-02-01Restrict concrete types to equivalent typesOliver Scherer-1/+1
2019-01-28Refer to synthetically named lifetimes as "some specific lifetime" rather tha...Rémy Rakic-2/+2
2019-01-27Fix stray typoRémy Rakic-1/+1
2019-01-27Extract the notes explaining the placeholder region errors to a helper fnRémy Rakic-8/+43
2019-01-27When mentioning lifetimes, put either the trait ref or the self type closer t...Rémy Rakic-26/+63
2019-01-27comment the patternNiko Matsakis-0/+15
2019-01-27identify when implemented for "some specific lifetime"Niko Matsakis-127/+120
2019-01-27add a lot more `debug!` to `try_report_placeholders_trait`Niko Matsakis-0/+15
2019-01-27Try to reword placeholder error messages to make them clearerlqd-31/+45
2019-01-27Try to resolve type vars in the placeholder errors trait refslqd-8/+12
2019-01-27Handle higher-ranked lifetime conflict errors where the subtype is the `sup` ...lqd-0/+24
2019-01-27Make NiceRegionError use the `InferCtxt` instead of its `TyCtxt`lqd-43/+47
2019-01-26remove `_with_applicability` from suggestion fnsAndy Russell-6/+6
2019-01-25Rollup merge of #57652 - mark-i-m:remove-old, r=nikomatsakisMazdak Farrokhzad-476/+11
2019-01-21Rollup merge of #57783 - davidtwco:issue-57741, r=estebankMazdak Farrokhzad-2/+19
2019-01-20Add "dereference boxed value" suggestion.David Wood-2/+19
2019-01-20Auto merge of #57697 - dotdash:fast_lex_reg_resol_item_bodies, r=nagisabors-6/+8
2019-01-18remove more old readmesmark-401/+6
2019-01-18Inline `expand_node`.Nicholas Nethercote-9/+14
2019-01-18Remove unneeded `origin` arg from `iterate_until_fixed_point`'s closure.Nicholas Nethercote-7/+6
2019-01-17Use a faster early exit during region expansionBjörn Steinbrink-6/+8