summary refs log tree commit diff
path: root/src/librustc/middle/traits
AgeCommit message (Expand)AuthorLines
2016-02-23Revert "Auto merge of #30533 - nikomatsakis:fulfillment-tree, r=aturon"Niko Matsakis-462/+205
2016-01-17add fixme number into codeNiko Matsakis-1/+1
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-8/+23
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-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-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-17/+17
2016-01-07Refactor away extension traits RegionEscape and HasTypeFlagsJeffrey Seyfried-9/+6
2016-01-07Create a visitor for `TypeFoldable`s and use it to implement RegionEscape and...Jeffrey Seyfried-74/+48
2016-01-05Annotate the compiler with information about what it is doing when.Niko Matsakis-1/+18
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
2016-01-02Limit displaying relevant trait impls to 4Florian Hahn-22/+34
2016-01-01Show similar trait implementations if no matching impl is foundFlorian Hahn-0/+20
2015-12-31Auto merge of #30585 - Ms2ger:ExplicitSelfCategory, r=brsonbors-4/+4
2015-12-30use structured errorsNick Cameron-61/+87
2015-12-28Rename ExplicitSelfCategory's variants and stop re-exporting them.Ms2ger-4/+4
2015-12-18Make RFC 1214 warnings into errors, and rip out the "warn or err"Niko Matsakis-108/+46
2015-12-16Auto merge of #30341 - pnkfelix:call-site-scope, r=nikomatsakisbors-1/+2
2015-12-16Provide overlapping types for coherence errorsAaron Turon-16/+16
2015-12-15Ensure borrows of fn/closure params do not outlive invocations.Felix S. Klock II-1/+2
2015-11-28Auto merge of #29383 - petrochenkov:empstr, r=pnkfelixbors-6/+6
2015-11-26split the metadata code into rustc_metadataAriel Ben-Yehuda-1/+1
2015-11-26Use the TypeOrigin variants qualified.Ms2ger-15/+15
2015-11-20Change TraitRef subtyping checks to equalityAaron Turon-20/+19
2015-11-19Fix the falloutVadim Petrochenkov-6/+6
2015-11-15address review commentsAriel Ben-Yehuda-1/+3
2015-11-15fix remaining bugsAriel Ben-Yehuda-49/+74
2015-11-15add a global evaluation cacheAriel Ben-Yehuda-1/+9
2015-11-15introduce evaluate_obligation_conservatively and use itAriel Ben-Yehuda-0/+32
2015-11-15evaluate projections outside the outer probe in recursive evaluationAriel Ben-Yehuda-156/+46
2015-11-15put projections in RFC447 orderAriel Ben-Yehuda-8/+16
2015-11-15simplify and reduce the size of EvaluationResultAriel Ben-Yehuda-56/+99
2015-11-05remove excess string allocationSteve Klabnik-1/+1
2015-10-27project: add a recursion limit to "tail-recursive" projectionsAriel Ben-Yehuda-2/+3
2015-10-24Auto merge of #29259 - arielb1:supertrait-self-2, r=eddybbors-10/+3
2015-10-24object_safety: check whether a supertrait contains Self even without being itAriel Ben-Yehuda-10/+3
2015-10-22distinguish projections from the env/obj-types vs those fromNiko Matsakis-12/+62
2015-10-08typos: fix a grabbag of typos all over the placeCristi Cobzarenco-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-27 15:26:45 +0000