summary refs log tree commit diff
path: root/src/librustc/middle
AgeCommit message (Expand)AuthorLines
2016-02-23Revert "Auto merge of #30533 - nikomatsakis:fulfillment-tree, r=aturon"Niko Matsakis-474/+227
2016-02-18Split dummy in region inference graph into distinct source and sink nodes.Felix S. Klock II-3/+10
2016-01-18fix path to region inference documentationBenjamin Peterson-1/+1
2016-01-18Auto merge of #30953 - KalitaAlexey:17823-get-rid-of-duplicate-error, r=nrcbors-3/+21
2016-01-18simplify E0308 message for primitive typeskalita.alexey-3/+21
2016-01-17Auto merge of #30978 - nikomatsakis:fulfillment-tree-add-fixme, r=aturonbors-1/+1
2016-01-17add fixme number into codeNiko Matsakis-1/+1
2016-01-17Rollup merge of #30943 - alexcrichton:stabilize-1.7, r=aturonManish Goregaokar-10/+13
2016-01-16std: Stabilize APIs for the 1.7 releaseAlex Crichton-10/+13
2016-01-16Auto merge of #30934 - oli-obk:simplify_const_eval, r=alexcrichtonbors-20/+6
2016-01-16Auto merge of #30533 - nikomatsakis:fulfillment-tree, r=aturonbors-227/+474
2016-01-16simplify some codeOliver 'ker' Schneider-20/+6
2016-01-16Document `ObligationForest` better.Niko Matsakis-1/+1
2016-01-16Pacify tidy.Niko Matsakis-1/+2
2016-01-16Implement a hacky version of the DAG support we ultimately want, leavingNiko Matsakis-6/+52
2016-01-16Detect cycles and specialize error reporting for Sized. It is importantNiko Matsakis-7/+187
2016-01-16Permit coinductive match only for purely OIBIT backtraces.Niko Matsakis-11/+38
2016-01-16Fix bug in new stall checking code, it should consider integer variablesNiko Matsakis-1/+1
2016-01-16fallout from removing the `errors_will_be_reported` flagNiko Matsakis-30/+35
2016-01-16only insert global predicates into the global cache once we'veNiko Matsakis-36/+27
2016-01-16enable coinductive reasoning for structural traits, this isNiko Matsakis-0/+13
2016-01-16Auto merge of #30930 - oli-obk:fix/30887, r=arielb1bors-67/+7
2016-01-16Auto merge of #30896 - petrochenkov:vkindmeta, r=alexcrichtonbors-8/+3
2016-01-15Auto merge of #30446 - michaelwu:associated-const-type-params-pt1, r=nikomats...bors-21/+30
2016-01-15Preserve struct/variant kinds in metadataVadim Petrochenkov-8/+3
2016-01-15move const block checks before lowering stepOliver Schneider-67/+7
2016-01-14Support generic associated constsMichael Wu-21/+30
2016-01-14switch the fulfillment context to use the new obligation forest;Niko Matsakis-129/+90
2016-01-14modify trait checker to track the variables on which trait resolution isNiko Matsakis-46/+69
2016-01-14Require stability annotations on fields of tuple variantsVadim Petrochenkov-15/+1
2016-01-11Rollup merge of #30737 - Ms2ger:MutateMode, r=sanxiynSimonas Kazlauskas-10/+12
2016-01-08Change error scheme so that if projection fails we generate `A::B` instead of...Niko Matsakis-5/+20
2016-01-08Remove ErrorCandidate in favor of just generating an ambiguous resultNiko Matsakis-11/+11
2016-01-08Make coherence more tolerant of error types.Niko Matsakis-1/+4
2016-01-07Rename fold_subitems_with to super_fold_withJeffrey Seyfried-180/+180
2016-01-07Refactor away extension traits RegionEscape and HasTypeFlagsJeffrey Seyfried-155/+132
2016-01-07Create a visitor for `TypeFoldable`s and use it to implement RegionEscape and...Jeffrey Seyfried-682/+523
2016-01-06Auto merge of #30532 - nikomatsakis:cross-item-dependencies, r=mwbors-258/+455
2016-01-06Use `memoized` helper more often.Niko Matsakis-27/+15
2016-01-06Fix numerous typos, renamings, and minor nits raised by mw.Niko Matsakis-2/+2
2016-01-06Stop re-exporting MutateMode's variants.Ms2ger-10/+12
2016-01-05Workaround stage0 bugNiko Matsakis-1/+1
2016-01-05Refactor compiler to make use of dep-tracking-maps. Also, in cases whereNiko Matsakis-248/+400
2016-01-05Annotate the compiler with information about what it is doing when.Niko Matsakis-13/+66
2016-01-05Add DepGraph to tcx.Niko Matsakis-1/+5
2016-01-05Introduce the DepGraph and DepTracking map abstractions,Niko Matsakis-1/+1
2016-01-06Auto merge of #30492 - wesleywiser:fix_extra_drops, r=pnkfelixbors-1/+34
2016-01-03Refactor candidate selectionFlorian Hahn-11/+12
2016-01-02Use for_each_implFlorian Hahn-24/+15
2016-01-02Manually check trait implementationsFlorian Hahn-12/+31