| Age | Commit message (Expand) | Author | Lines |
| 2022-10-04 | Add AscribeUserTypeProvePredicate | Jack Huey | -0/+5 |
| 2022-10-04 | Add to_constraint_category to ObligationCause and SubregionOrigin | Jack Huey | -0/+8 |
| 2022-09-16 | Revert "Better errors for implied static bound" | Jack Huey | -13/+0 |
| 2022-09-13 | Better errors for implied static bound | Jack Huey | -0/+13 |
| 2022-09-12 | Rollup merge of #101681 - compiler-errors:rpitit-obj-safety, r=lcnr | Dylan DPC | -0/+9 |
| 2022-09-12 | Auto merge of #100251 - compiler-errors:tuple-trait-2, r=jackh726 | bors | -2/+14 |
| 2022-09-11 | Deny RPITIT for object safety | Michael Goulet | -0/+9 |
| 2022-09-09 | rename `codegen_fulfill_obligation` | lcnr | -1/+1 |
| 2022-09-08 | Add associated item binding to non-param-ty where clause suggestions | Michael Goulet | -2/+2 |
| 2022-09-05 | fix comment | 111 | -2/+1 |
| 2022-09-01 | Migrate DropCheckOverflow | 111 | -10/+3 |
| 2022-08-31 | Fix a bunch of typo | Dezhi Wu | -1/+1 |
| 2022-08-24 | Note binding obligation causes for const equate errors | Michael Goulet | -0/+7 |
| 2022-08-21 | More docs | Michael Goulet | -5/+11 |
| 2022-08-21 | Rework point-at-arg | Michael Goulet | -0/+4 |
| 2022-08-07 | Built-in implementation of Tuple trait | Michael Goulet | -2/+14 |
| 2022-08-02 | Auto merge of #92268 - jswrenn:transmute, r=oli-obk | bors | -0/+4 |
| 2022-08-01 | Store associated item defaultness in impl_defaultness. | Camille GILLOT | -1/+1 |
| 2022-07-29 | remove some manual hash stable impls | lcnr | -25/+1 |
| 2022-07-27 | Initial (incomplete) implementation of transmutability trait. | Jack Wrenn | -0/+4 |
| 2022-07-24 | Combine redundant obligation cause codes | Michael Goulet | -10/+2 |
| 2022-07-21 | And for patterns too | Michael Goulet | -2/+5 |
| 2022-07-21 | Do if-expression obligation stuff less eagerly | Michael Goulet | -8/+9 |
| 2022-07-20 | Remove unused StableMap and StableSet types from rustc_data_structures | Michael Woerister | -1/+1 |
| 2022-07-16 | Rollup merge of #99290 - compiler-errors:revert-98794, r=lcnr | Matthias Krüger | -9/+1 |
| 2022-07-15 | Propagate Expectation around binop typeck code to construct more precise trai... | Will Crichton | -1/+2 |
| 2022-07-15 | Revert "Highlight conflicting param-env candidates" | Michael Goulet | -9/+1 |
| 2022-07-15 | remove tcx from ObligationCauseCode::span | Michael Goulet | -1/+1 |
| 2022-07-15 | Remove some more usages of guess_head_span | Michael Goulet | -6/+1 |
| 2022-07-12 | Move abstract const to rustc_middle::ty | kadmin | -1/+1 |
| 2022-07-08 | Auto merge of #98614 - oli-obk:take_unsound_opaque_types, r=wesleywiser | bors | -4/+14 |
| 2022-07-08 | Highlight conflicting param-env candidates | Michael Goulet | -1/+9 |
| 2022-07-07 | not knowing about opaque types is worse than not knowing about regions, make ... | Oli Scherer | -2/+2 |
| 2022-07-06 | Update TypeVisitor paths | Alan Egerton | -1/+1 |
| 2022-07-05 | impl TypeVisitable in type traversal macros | Alan Egerton | -2/+2 |
| 2022-07-05 | Add #[derive(TypeVisitable)] | Alan Egerton | -22/+38 |
| 2022-06-30 | Make `evaluate_obligation` not succeed unconditionally if it registered new h... | Oli Scherer | -4/+14 |
| 2022-06-28 | Fix trait object reborrow suggestion | Michael Goulet | -1/+1 |
| 2022-06-27 | Rollup merge of #98506 - compiler-errors:object-safety-suggestions, r=oli-obk | Matthias Krüger | -38/+29 |
| 2022-06-27 | Rollup merge of #97780 - compiler-errors:field-wfcheck-before-sized, r=jackh726 | Matthias Krüger | -1/+1 |
| 2022-06-25 | Fix span issues in object safety suggestions | Michael Goulet | -38/+29 |
| 2022-06-21 | Point at return expression for RPIT-related error | Michael Goulet | -0/+3 |
| 2022-06-14 | implement valtrees as the type-system representation for constant values | b-naber | -2/+1 |
| 2022-06-13 | remove unnecessary `to_string` and `String::new` | Takayuki Maeda | -2/+2 |
| 2022-06-05 | Do wfcheck on ADT field before Sized check | Michael Goulet | -1/+1 |
| 2022-05-22 | Lifetime variance fixes for rustc | Michael Goulet | -5/+7 |
| 2022-05-18 | Rollup merge of #95979 - lcnr:coherence-docs, r=compiler-errors | Dylan DPC | -0/+3 |
| 2022-05-17 | Auto merge of #96892 - oli-obk:🐌_obligation_cause_code_🐌, r=estebank | bors | -35/+75 |
| 2022-05-16 | Force inline InternedObligationCauseCode creation | Oli Scherer | -4/+4 |
| 2022-05-13 | Avoid invoking the full `eq` infrastructure when all we want is to check a di... | Oli Scherer | -1/+3 |