| Age | Commit message (Expand) | Author | Lines |
|---|
| 2022-07-15 | remove tcx from ObligationCauseCode::span | Michael Goulet | -4/+1 |
| 2022-07-15 | Remove some more usages of guess_head_span | Michael Goulet | -8/+9 |
| 2022-07-08 | Auto merge of #98614 - oli-obk:take_unsound_opaque_types, r=wesleywiser | bors | -1/+1 |
| 2022-07-06 | replace `guess_head_span` with `def_span` | Takayuki Maeda | -3/+5 |
| 2022-07-06 | Update TypeVisitor paths | Alan Egerton | -2/+2 |
| 2022-07-05 | Explicit TypeVisitable implementations | Alan Egerton | -0/+3 |
| 2022-07-05 | Add #[derive(TypeVisitable)] | Alan Egerton | -1/+1 |
| 2022-06-30 | use a method instead of manually doing what its body does | Oli Scherer | -1/+1 |
| 2022-06-29 | avoid many `&str` to `String` conversions with `MultiSpan::push_span_label` | Takayuki Maeda | -2/+1 |
| 2022-06-08 | Folding revamp. | Nicholas Nethercote | -5/+2 |
| 2022-05-10 | Remove `clone_code` method | Oli Scherer | -1/+1 |
| 2022-05-10 | Move an extension trait method onto the type directly and reuse it | Oli Scherer | -1/+8 |
| 2022-04-05 | span: move `MultiSpan` | David Wood | -2/+2 |
| 2022-04-01 | convert more `DefId`s to `LocalDefId` | lcnr | -3/+3 |
| 2022-03-02 | 8 - Make more use of `let_chains` | Caio | -6/+4 |
| 2022-03-02 | rename ErrorReported -> ErrorGuaranteed | mark | -3/+3 |
| 2022-02-23 | rustc_errors: let `DiagnosticBuilder::emit` return a "guarantee of emission". | Eduard-Mihai Burtescu | -3/+3 |
| 2022-02-15 | Overhaul `Const`. | Nicholas Nethercote | -1/+1 |
| 2022-02-14 | Call the method fork instead of clone and add proper comments | Santiago Pastorino | -1/+1 |
| 2022-02-11 | Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis" | Oli Scherer | -3/+0 |
| 2022-02-02 | Lazily resolve type-alias-impl-trait defining uses | Oli Scherer | -0/+3 |
| 2022-01-28 | Remove generalization over projection | kadmin | -2/+6 |
| 2022-01-16 | Rollup merge of #92710 - jackh726:issue-92280, r=nikomatsakis | Matthias Krüger | -4/+13 |
| 2022-01-15 | Rollup merge of #92191 - jackh726:issue-89352, r=nikomatsakis | Matthias Krüger | -1/+1 |
| 2022-01-10 | Elaborate param_env predicates when checking if type outlives involving proje... | Jack Huey | -4/+13 |
| 2021-12-22 | When obligation is a sized predicate, prefer projection or object candidates ... | Jack Huey | -1/+1 |
| 2021-12-20 | Eliminate `ObligationCauseData`. | Nicholas Nethercote | -1/+1 |
| 2021-12-19 | Rollup merge of #91878 - LegionMammal978:less-inband-infer, r=Aaron1011 | Matthias Krüger | -9/+9 |
| 2021-12-18 | Re-introduce concept of projection cache 'completion' | Aaron Hill | -3/+69 |
| 2021-12-13 | Remove `in_band_lifetimes` from `rustc_infer` | LegionMammal978 | -9/+9 |
| 2021-12-12 | Revert "Auto merge of #91491 - spastorino:revert-91354, r=oli-obk" | Deadbeef | -24/+16 |
| 2021-12-03 | Revert "Auto merge of #91354 - fee1-dead:const_env, r=spastorino" | Santiago Pastorino | -16/+24 |
| 2021-12-02 | Rename TypeFolderFallible to FallibleTypeFolder | Alan Egerton | -2/+2 |
| 2021-12-02 | Reduce boilerplate around infallible folders | Alan Egerton | -4/+7 |
| 2021-11-29 | Reformat everything | Deadbeef | -4/+2 |
| 2021-11-29 | Completely remove ConstnessAnd | Oli Scherer | -2/+2 |
| 2021-11-29 | Avoid storing the ImplPolarity and Constness next to a TraitRef and use Trait... | Oli Scherer | -4/+4 |
| 2021-11-29 | Use the constness from the param env instead of having a separate dimension f... | Oli Scherer | -18/+12 |
| 2021-11-28 | Auto merge of #91230 - eggyal:fallible-type-fold, r=jackh726 | bors | -5/+5 |
| 2021-11-26 | Make `TypeFoldable` implementors short-circuit on error | LeSeulArtichaut | -5/+5 |
| 2021-11-25 | Visit `param_env` field in Obligation's `TypeFoldable` impl | Aaron Hill | -1/+2 |
| 2021-11-14 | Fix span for non-satisfied trivial trait bounds | Nilstrieb | -0/+17 |
| 2021-11-11 | Auto merge of #90648 - matthewjasper:assoc-item-cleanup, r=cjgillot | bors | -3/+2 |
| 2021-11-08 | fmt | Deadbeef | -8/+3 |
| 2021-11-08 | Make select_* methods return Vec for TraitEngine | Deadbeef | -4/+4 |
| 2021-11-07 | Remove some fields from `ObligationCauseCode` | Matthew Jasper | -3/+2 |
| 2021-10-23 | Auto merge of #90104 - spastorino:coherence-for-negative-trait, r=nikomatsakis | bors | -1/+19 |
| 2021-10-22 | Document flip polarity | Santiago Pastorino | -0/+3 |
| 2021-10-20 | Add TraitObligation::polarity() for better encapsulation | Santiago Pastorino | -0/+4 |
| 2021-10-20 | Consider negative polarity on overlap check | Santiago Pastorino | -1/+12 |
