| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-11-21 | Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-dead | Matthias Krüger | -3/+10 |
| 2024-11-19 | Implement ~const opaques | Michael Goulet | -1/+8 |
| 2024-11-19 | Rename implied_const_bounds to explicit_implied_const_bounds | Michael Goulet | -2/+2 |
| 2024-11-19 | Introduce `min_generic_const_args` and directly represent paths | Noah Lev | -2/+3 |
| 2024-11-10 | Deny capturing late-bound ty/ct params in nested opaques | Michael Goulet | -10/+27 |
| 2024-11-10 | Revert "Skip late-bound lifetimes when crossing an AnonConst." | Michael Goulet | -12/+2 |
| 2024-11-05 | Auto merge of #132580 - compiler-errors:globs, r=Noratrieb | bors | -2/+2 |
| 2024-11-04 | ty::BrK -> ty::BoundRegionKind::K | Michael Goulet | -2/+2 |
| 2024-11-04 | find the generic container rather than simply looking up for the assoc with c... | bohan | -8/+2 |
| 2024-11-02 | Rollup merge of #132466 - cjgillot:opaque-late, r=compiler-errors | Matthias Krüger | -3/+20 |
| 2024-11-01 | Skip late-bound lifetimes when crossing an AnonConst. | Camille GILLOT | -2/+12 |
| 2024-11-01 | Account for late-bound depth when capturing all opaque lifetimes. | Camille GILLOT | -1/+8 |
| 2024-10-31 | Double check the lowered predicates in type_param_predicates | Michael Goulet | -7/+24 |
| 2024-10-31 | Make SelfTraitThatDefines a tighter filter | Michael Goulet | -21/+45 |
| 2024-10-31 | Make predicate filter in `probe_ty_param_bounds_in_generics` more explicit | Michael Goulet | -17/+17 |
| 2024-10-31 | Auto merge of #132377 - matthiaskrgr:rollup-3p1c6hs, r=matthiaskrgr | bors | -3/+10 |
| 2024-10-31 | Rollup merge of #132374 - fmease:rm-dead-eff-code, r=compiler-errors | Matthias Krüger | -3/+0 |
| 2024-10-30 | Remove dead code stemming from the old effects desugaring | León Orell Valerian Liehr | -3/+0 |
| 2024-10-30 | Make sure type_param_predicates resolves correctly for RPITIT | Michael Goulet | -0/+10 |
| 2024-10-30 | Rollup merge of #132344 - compiler-errors:same-thing, r=lcnr | Jubilee | -6/+6 |
| 2024-10-30 | Merge HostPolarity and BoundConstness | Michael Goulet | -6/+6 |
| 2024-10-30 | Actually capture all in-scope lifetimes. | Camille GILLOT | -43/+29 |
| 2024-10-30 | Review comments. | Camille GILLOT | -1/+1 |
| 2024-10-30 | Adapt comments. | Camille GILLOT | -12/+12 |
| 2024-10-30 | Remap impl-trait lifetimes on HIR instead of AST lowering. | Camille GILLOT | -110/+289 |
| 2024-10-29 | Rollup merge of #132194 - compiler-errors:rpitit-super-wc, r=spastorino | Jubilee | -14/+2 |
| 2024-10-27 | Rollup merge of #132043 - compiler-errors:simplify-rbv, r=cjgillot | Matthias Krüger | -79/+75 |
| 2024-10-26 | Collect item bounds for RPITITs from trait where clauses just like associated... | Michael Goulet | -14/+2 |
| 2024-10-26 | Effects cleanup | Deadbeef | -16/+8 |
| 2024-10-24 | Be better at enforcing that const_conditions is only called on const items | Michael Goulet | -60/+20 |
| 2024-10-24 | Implement const effect predicate in new solver | Michael Goulet | -9/+266 |
| 2024-10-24 | Remove associated type based effects logic | Michael Goulet | -50/+4 |
| 2024-10-23 | nightly feature tracking: get rid of the per-feature bool fields | Ralf Jung | -7/+7 |
| 2024-10-22 | Deduplicate handling of early-bound params in RTN | Michael Goulet | -22/+29 |
| 2024-10-22 | Simplify confusing ResolvedArg constructors | Michael Goulet | -57/+46 |
| 2024-10-20 | Inline lower_mono_bounds into lower_poly_bounds | Michael Goulet | -8/+15 |
| 2024-10-20 | Make LowerPolyBounds take an IntoIterator | Michael Goulet | -2/+2 |
| 2024-10-19 | Use PredicateFilter instead of OnlySelfBounds | Michael Goulet | -36/+4 |
| 2024-10-14 | Move trait bound modifiers into hir::PolyTraitRef | Michael Goulet | -3/+3 |
| 2024-10-04 | Simplify bound var resolution. | Camille GILLOT | -29/+27 |
| 2024-10-04 | rm `ItemKind::OpaqueTy` | Noah Lev | -128/+90 |
| 2024-10-02 | Move in_trait into OpaqueTyOrigin | Michael Goulet | -41/+49 |
| 2024-10-02 | Use named fields for OpaqueTyOrigin | Michael Goulet | -6/+8 |
| 2024-10-02 | Remove redundant in_trait from hir::TyKind::OpaqueDef | Michael Goulet | -2/+2 |
| 2024-09-27 | properly elaborate effects implied bounds for super traits | Deadbeef | -26/+3 |
| 2024-09-25 | Add a few more tests, comments | Michael Goulet | -0/+6 |
| 2024-09-25 | Pull out into helper function | Michael Goulet | -99/+112 |
| 2024-09-25 | Collect relevant item bounds from trait clauses for nested rigid projections,... | Michael Goulet | -10/+216 |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -16/+16 |
| 2024-09-21 | Rollup merge of #130666 - compiler-errors:super-bounds, r=fee1-dead,fmease | Michael Goulet | -10/+76 |
