| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2023-01-14 | fix various subst_identity vs skip_binder | Kyle Matsuda | -4/+4 |
| 2023-01-14 | change impl_trait_ref query to return EarlyBinder; remove bound_impl_trait_re... | Kyle Matsuda | -4/+4 |
| 2023-01-14 | change usages of impl_trait_ref to bound_impl_trait_ref | Kyle Matsuda | -3/+3 |
| 2023-01-11 | Change `src/test` to `tests` in source files, fix tidy and tests | Albert Larsan | -1/+1 |
| 2022-12-20 | rustc: Remove needless lifetimes | Jeremy Stucki | -4/+4 |
| 2022-12-13 | Combine projection and opaque into alias | Michael Goulet | -2/+2 |
| 2022-12-01 | Document normalization methods on At | Michael Goulet | -4/+6 |
| 2022-11-25 | Remove SelectionContext::infcx() in favor of field access | Michael Goulet | -7/+7 |
| 2022-11-22 | Rollup merge of #103488 - oli-obk:impl_trait_for_tait, r=lcnr | Manish Goregaokar | -5/+7 |
| 2022-11-21 | Treat different opaque types of the same def id as equal during coherence | Oli Scherer | -4/+6 |
| 2022-11-21 | Allow opaque types in trait impl headers and rely on coherence to reject unso... | Oli Scherer | -3/+3 |
| 2022-11-21 | negative_impl_exists should take an InferCtxt | Santiago Pastorino | -8/+7 |
