| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-07-30 | inline format!() args up to and including rustc_codegen_llvm | Matthias Krüger | -1/+1 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -13/+11 |
| 2023-07-12 | Re-format let-else per rustfmt update | Mark Rousskov | -3/+2 |
| 2023-07-04 | -Ztrait-solver=next: stop depending on old solver | lcnr | -6/+16 |
| 2023-07-03 | use `deeply_normalize` for `assumed_wf_types` | lcnr | -1/+5 |
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -1/+6 |
| 2023-06-16 | Add `AliasKind::Weak` for type aliases. | Oli Scherer | -1/+3 |
| 2023-06-16 | fix: inline `predicate_may_hold_fatal` | bohan | -1/+6 |
| 2023-06-14 | Improve docs/clean up negative overlap functions | Michael Goulet | -82/+82 |
| 2023-06-06 | Add -Ztrait-solver=next-coherence | Michael Goulet | -0/+1 |
| 2023-05-30 | rework the leak_check to take the outer_universe | lcnr | -49/+62 |
| 2023-05-30 | leak_check: remove unused codepath | lcnr | -1/+1 |
| 2023-05-25 | Move DefiningAnchor | Michael Goulet | -1/+2 |
| 2023-05-24 | Use `Option::is_some_and` and `Result::is_ok_and` in the compiler | Maybe Waffle | -1/+1 |
| 2023-05-09 | Rollup merge of #111252 - matthewjasper:min-spec-improvements, r=compiler-errors | Dylan DPC | -1/+3 |
| 2023-05-05 | Report nicer lifetime errors for specialization | Matthew Jasper | -1/+3 |
| 2023-05-04 | IAT: Introduce AliasKind::Inherent | León Orell Valerian Liehr | -1/+1 |
| 2023-04-27 | rename `needs_subst` to `has_param` | Boxy | -1/+1 |
| 2023-04-27 | rename `needs_infer` to `has_infer` | Boxy | -1/+1 |
| 2023-04-13 | make tcx.impl_subject return EarlyBinder, remove bound_impl_subject, rename u... | Kyle Matsuda | -1/+1 |
| 2023-04-13 | change usage of bound_impl_subject to impl_subject | Kyle Matsuda | -1/+1 |
| 2023-04-12 | region error cleanup | lcnr | -3/+0 |
| 2023-04-06 | Make elaborator generic | Michael Goulet | -1/+1 |
| 2023-03-29 | Introduce `DeepRejectCtxt::substs_refs_may_unify`. | Nicholas Nethercote | -2/+3 |
| 2023-03-28 | Auto merge of #109692 - Nilstrieb:rollup-hq65rps, r=Nilstrieb | bors | -1/+0 |
| 2023-03-28 | Auto merge of #108080 - oli-obk:FnPtr-trait, r=lcnr | bors | -0/+13 |
| 2023-03-28 | Rollup merge of #109629 - aliemjay:remove-givens, r=lcnr | nils | -1/+0 |
| 2023-03-27 | Add a builtin `FnPtr` trait | lcnr | -0/+13 |
| 2023-03-26 | Don't elaborate non-obligations into obligations | Michael Goulet | -2/+2 |
| 2023-03-26 | remove obsolete `givens` from regionck | Ali MJ Al-Nasrawy | -1/+0 |
| 2023-03-22 | Rollup merge of #109447 - lcnr:coherence, r=compiler-errors | Matthias Krüger | -4/+10 |
| 2023-03-21 | enable `intercrate` in the solver `InferCtxt` | lcnr | -4/+10 |
| 2023-03-21 | remove some trait solver helpers | lcnr | -1/+4 |
| 2023-03-16 | Rollup merge of #109166 - lcnr:define_opaque_types-explicit, r=oli-obk | Matthias Krüger | -16/+21 |
| 2023-03-15 | Revert "Auto merge of #107376 - aliemjay:remove-givens, r=lcnr" | Rémy Rakic | -0/+1 |
| 2023-03-15 | always make `define_opaque_types` explicit | lcnr | -16/+21 |
| 2023-03-15 | Auto merge of #107376 - aliemjay:remove-givens, r=lcnr | bors | -1/+0 |
| 2023-03-13 | Better names? | Michael Goulet | -1/+1 |
| 2023-03-09 | remove obsolete `givens` from regionck | Ali MJ Al-Nasrawy | -1/+0 |
| 2023-02-22 | Remove type-traversal trait aliases | Alan Egerton | -2/+2 |
| 2023-02-21 | Make hidden type registration opt-in, so that each site can be reviewed on it... | Oli Scherer | -0/+1 |
| 2023-02-16 | remove bound_type_of query; make type_of return EarlyBinder; change type_of i... | Kyle Matsuda | -3/+3 |
| 2023-02-16 | change usages of type_of to bound_type_of | Kyle Matsuda | -2/+2 |
| 2023-02-13 | Make visiting traits generic over the Interner | Alan Egerton | -1/+1 |
| 2023-02-13 | Alias folding/visiting traits instead of re-export | Alan Egerton | -1/+1 |
| 2023-01-27 | Introduce GeneratorWitnessMIR. | Camille GILLOT | -1/+3 |
| 2023-01-23 | fix: use LocalDefId instead of HirId in trait res | Vincenzo Palazzo | -7/+2 |
| 2023-01-20 | Rollup merge of #106973 - oli-obk:tait_ice_closure_in_impl_header, r=lcnr | Matthias Krüger | -22/+20 |
| 2023-01-19 | Don't treat closures from other crates as local | Oli Scherer | -22/+20 |
| 2023-01-17 | Stop using `BREAK` & `CONTINUE` in compiler | Scott McMurray | -4/+4 |
