| Age | Commit message (Expand) | Author | Lines |
|---|
| 2016-02-15 | use stalled_on in all obligation types | Ariel Ben-Yehuda | -12/+31 |
| 2016-02-13 | Auto merge of #31588 - soltanmm:layer, r=nikomatsakis | bors | -6/+6 |
| 2016-02-12 | Autoderef in librustc | Jonas Schievink | -3/+3 |
| 2016-02-11 | [breaking-change] don't glob import/export syntax::abi enum variants | Oliver Schneider | -2/+2 |
| 2016-02-10 | Update some debug logging | Masood Malekghassemi | -6/+6 |
| 2016-02-01 | Use the per-tree state to detect and permit DAGs (but not cyclic graphs) | Niko Matsakis | -41/+80 |
| 2016-02-01 | Add a notion of "per-tree" state | Niko Matsakis | -18/+46 |
| 2016-01-21 | Revamp the fulfillment cache tracking to only cache trait-refs, which | Niko Matsakis | -28/+64 |
| 2016-01-19 | remove the `SimplifiedType` from the `DepNode` for now, just to keep | Niko Matsakis | -11/+3 |
| 2016-01-17 | add fixme number into code | Niko Matsakis | -1/+1 |
| 2016-01-16 | Document `ObligationForest` better. | Niko Matsakis | -1/+1 |
| 2016-01-16 | Pacify tidy. | Niko Matsakis | -1/+2 |
| 2016-01-16 | Implement a hacky version of the DAG support we ultimately want, leaving | Niko Matsakis | -6/+52 |
| 2016-01-16 | Detect cycles and specialize error reporting for Sized. It is important | Niko Matsakis | -7/+187 |
| 2016-01-16 | Permit coinductive match only for purely OIBIT backtraces. | Niko Matsakis | -11/+38 |
| 2016-01-16 | Fix bug in new stall checking code, it should consider integer variables | Niko Matsakis | -1/+1 |
| 2016-01-16 | fallout from removing the `errors_will_be_reported` flag | Niko Matsakis | -8/+23 |
| 2016-01-16 | only insert global predicates into the global cache once we've | Niko Matsakis | -36/+27 |
| 2016-01-16 | enable coinductive reasoning for structural traits, this is | Niko Matsakis | -0/+13 |
| 2016-01-14 | switch the fulfillment context to use the new obligation forest; | Niko Matsakis | -129/+90 |
| 2016-01-14 | modify trait checker to track the variables on which trait resolution is | Niko Matsakis | -46/+69 |
| 2016-01-08 | Change error scheme so that if projection fails we generate `A::B` instead of... | Niko Matsakis | -5/+20 |
| 2016-01-08 | Remove ErrorCandidate in favor of just generating an ambiguous result | Niko Matsakis | -11/+11 |
| 2016-01-08 | Make coherence more tolerant of error types. | Niko Matsakis | -1/+4 |
| 2016-01-07 | Rename fold_subitems_with to super_fold_with | Jeffrey Seyfried | -17/+17 |
| 2016-01-07 | Refactor away extension traits RegionEscape and HasTypeFlags | Jeffrey Seyfried | -9/+6 |
| 2016-01-07 | Create a visitor for `TypeFoldable`s and use it to implement RegionEscape and... | Jeffrey Seyfried | -74/+48 |
| 2016-01-05 | Annotate the compiler with information about what it is doing when. | Niko Matsakis | -1/+18 |
| 2016-01-03 | Refactor candidate selection | Florian Hahn | -11/+12 |
| 2016-01-02 | Use for_each_impl | Florian Hahn | -24/+15 |
| 2016-01-02 | Manually check trait implementations | Florian Hahn | -12/+31 |
| 2016-01-02 | Limit displaying relevant trait impls to 4 | Florian Hahn | -22/+34 |
| 2016-01-01 | Show similar trait implementations if no matching impl is found | Florian Hahn | -0/+20 |
| 2015-12-31 | Auto merge of #30585 - Ms2ger:ExplicitSelfCategory, r=brson | bors | -4/+4 |
| 2015-12-30 | use structured errors | Nick Cameron | -61/+87 |
| 2015-12-28 | Rename ExplicitSelfCategory's variants and stop re-exporting them. | Ms2ger | -4/+4 |
| 2015-12-18 | Make RFC 1214 warnings into errors, and rip out the "warn or err" | Niko Matsakis | -108/+46 |
| 2015-12-16 | Auto merge of #30341 - pnkfelix:call-site-scope, r=nikomatsakis | bors | -1/+2 |
| 2015-12-16 | Provide overlapping types for coherence errors | Aaron Turon | -16/+16 |
| 2015-12-15 | Ensure borrows of fn/closure params do not outlive invocations. | Felix S. Klock II | -1/+2 |
| 2015-11-28 | Auto merge of #29383 - petrochenkov:empstr, r=pnkfelix | bors | -6/+6 |
| 2015-11-26 | split the metadata code into rustc_metadata | Ariel Ben-Yehuda | -1/+1 |
| 2015-11-26 | Use the TypeOrigin variants qualified. | Ms2ger | -15/+15 |
| 2015-11-20 | Change TraitRef subtyping checks to equality | Aaron Turon | -20/+19 |
| 2015-11-19 | Fix the fallout | Vadim Petrochenkov | -6/+6 |
| 2015-11-15 | address review comments | Ariel Ben-Yehuda | -1/+3 |
| 2015-11-15 | fix remaining bugs | Ariel Ben-Yehuda | -49/+74 |
| 2015-11-15 | add a global evaluation cache | Ariel Ben-Yehuda | -1/+9 |
| 2015-11-15 | introduce evaluate_obligation_conservatively and use it | Ariel Ben-Yehuda | -0/+32 |
| 2015-11-15 | evaluate projections outside the outer probe in recursive evaluation | Ariel Ben-Yehuda | -156/+46 |
