| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-02-15 | HIR analysis: Remove unnecessary abstraction over list of clauses | León Orell Valerian Liehr | -100/+0 | |
| 2024-10-30 | Merge HostPolarity and BoundConstness | Michael Goulet | -2/+2 | |
| 2024-10-26 | Effects cleanup | Deadbeef | -11/+1 | |
| - removed extra bits from predicates queries that are no longer needed in the new system - removed the need for `non_erasable_generics` to take in tcx and DefId, removed unused arguments in callers | ||||
| 2024-10-24 | Be better at enforcing that const_conditions is only called on const items | Michael Goulet | -1/+5 | |
| 2024-10-24 | Implement const effect predicate in new solver | Michael Goulet | -0/+11 | |
| 2024-10-24 | Remove associated type based effects logic | Michael Goulet | -139/+0 | |
| 2024-10-23 | nightly feature tracking: get rid of the per-feature bool fields | Ralf Jung | -1/+1 | |
| 2024-10-20 | Remove the BoundConstness::NotConst variant | Michael Goulet | -10/+11 | |
| 2024-10-19 | Use PredicateFilter instead of OnlySelfBounds | Michael Goulet | -3/+12 | |
| 2024-09-27 | properly elaborate effects implied bounds for super traits | Deadbeef | -5/+39 | |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -15/+12 | |
| 2024-09-21 | Don't elaborate effects predicates into bounds list unless we're actually ↵ | Michael Goulet | -1/+7 | |
| collecting implied bounds, not super bounds | ||||
| 2024-08-27 | Add `warn(unreachable_pub)` to `rustc_hir_analysis`. | Nicholas Nethercote | -7/+7 | |
| 2024-07-03 | Add `constness` to `TraitDef` | Deadbeef | -2/+2 | |
| 2024-06-28 | address review comments | Deadbeef | -23/+29 | |
| 2024-06-28 | general fixups and turn `TODO`s into `FIXME`s | Deadbeef | -3/+3 | |
| 2024-06-28 | bless tests part 1 | Deadbeef | -0/+4 | |
| 2024-06-28 | implement new effects desugaring | Deadbeef | -5/+97 | |
| 2024-06-14 | Use is_lang_item more aggressively | Michael Goulet | -1/+1 | |
| 2024-05-16 | Rename ToPredicate for Upcast | Michael Goulet | -5/+5 | |
| 2024-05-04 | Make `Bounds.clauses` private | Deadbeef | -1/+1 | |
| 2024-04-23 | remove `push_trait_bound_inner` | Deadbeef | -10/+0 | |
| 2024-04-01 | Make sure to insert Sized bound first into clauses list | Michael Goulet | -2/+8 | |
| 2024-03-22 | Split out ImplPolarity and PredicatePolarity | Michael Goulet | -2/+2 | |
| 2024-03-22 | Update (doc) comments | León Orell Valerian Liehr | -2/+2 | |
| Several (doc) comments were super outdated or didn't provide enough context. Some doc comments shoved everything in a single paragraph without respecting the fact that the first paragraph should be a single sentence because rustdoc treats these as item descriptions / synopses on module pages. | ||||
| 2024-01-08 | ~const trait or projection bounds do not imply non-const bounds | Michael Goulet | -18/+0 | |
| 2023-10-18 | Don't compare host param by name | Michael Goulet | -4/+5 | |
| 2023-10-15 | Duplicate `~const` bounds with a non-const one in effects desugaring | Deadbeef | -0/+27 | |
| 2023-08-02 | Remove constness from `TraitPredicate` | Deadbeef | -2/+1 | |
| 2023-06-19 | Fully fledged Clause type | Michael Goulet | -24/+19 | |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -6/+10 | |
| 2023-06-17 | `Bound::predicates` to return `Clause` | dswij | -11/+18 | |
| 2023-05-04 | Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnr | bors | -1/+1 | |
| Replace `tcx.mk_trait_ref` with `TraitRef::new` First step in implementing https://github.com/rust-lang/compiler-team/issues/616 r? `@lcnr` | ||||
| 2023-05-02 | Implement negative bounds | Michael Goulet | -1/+7 | |
| 2023-04-26 | Add new `ToPredicate` impls and `TraitRef` methods to remove some ↵ | Maybe Waffle | -1/+1 | |
| `ty::Binber::dummy` calls | ||||
| 2023-04-25 | Replace `tcx.mk_trait_ref` with `ty::TraitRef::new` | Maybe Waffle | -1/+1 | |
| 2023-04-10 | Fix typos in compiler | DaniPopes | -1/+1 | |
| 2022-12-28 | Rework hir Bounds collection | Michael Goulet | -56/+37 | |
| 2022-11-21 | Stop passing the self-type as a separate argument. | Oli Scherer | -1/+1 | |
| 2022-11-21 | Add helper to create the trait ref for a lang item | Oli Scherer | -4/+4 | |
| 2022-11-21 | Allow iterators instead of requiring slices that will get turned into iterators | Oli Scherer | -1/+1 | |
| 2022-11-21 | Assert that various types have the right amount of generic args and fix the ↵ | Oli Scherer | -4/+1 | |
| sites that used the wrong amount | ||||
| 2022-09-27 | rustc_typeck to rustc_hir_analysis | lcnr | -0/+90 | |
