| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-11-28 | uplift fold_regions to rustc_type_ir | lcnr | -1/+2 | |
| 2024-11-27 | Address review comments | Michael Goulet | -68/+74 | |
| 2024-11-27 | Handle bounds that come from the trait itself | Michael Goulet | -27/+43 | |
| 2024-11-27 | Robustify and genericize RTN resolution in RBV | Michael Goulet | -33/+86 | |
| 2024-11-25 | Refactor `where` predicates, and reserve for attributes support | Frank King | -16/+20 | |
| 2024-11-21 | Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-dead | Matthias Krüger | -3/+10 | |
| Implement `~const` item bounds in RPIT an RPIT in a `const fn` is allowed to be conditionally const itself :) r? fee1-dead or reroll | ||||
| 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 | |
| Co-authored-by: Boxy UwU <rust@boxyuwu.dev> Co-authored-by: León Orell Valerian Liehr <me@fmease.dev> | ||||
| 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 | |
| This reverts commit a7f609504c92c9912b61025ae26a5404d3ee4311. | ||||
| 2024-11-05 | Auto merge of #132580 - compiler-errors:globs, r=Noratrieb | bors | -2/+2 | |
| Remove unnecessary pub enum glob-imports from `rustc_middle::ty` We used to have an idiom in the compiler where we'd prefix or suffix all the variants of an enum, for example `BoundRegionKind`, with something like `Br`, and then *glob-import* that enum variant directly. `@noratrieb` brought this up, and I think that it's easier to read when we just use the normal style `EnumName::Variant`. This PR is a bit large, but it's just naming. The only somewhat opinionated change that this PR does is rename `BorrowKind::Imm` to `BorrowKind::Immutable` and same for the other variants. I think these enums are used sparingly enough that the extra length is fine. r? `@noratrieb` or reassign | ||||
| 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 ↵ | bohan | -8/+2 | |
| const arg | ||||
| 2024-11-02 | Rollup merge of #132466 - cjgillot:opaque-late, r=compiler-errors | Matthias Krüger | -3/+20 | |
| Account for late-bound depth when capturing all opaque lifetimes. Fixes https://github.com/rust-lang/rust/issues/132429 r? ````@compiler-errors```` | ||||
| 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 | |
| Rollup of 3 pull requests Successful merges: - #132368 (Remove `do_not_const_check` from `Iterator` methods) - #132373 (Make sure `type_param_predicates` resolves correctly for RPITIT) - #132374 (Remove dead code stemming from the old effects desugaring) r? `@ghost` `@rustbot` modify labels: rollup | ||||
| 2024-10-31 | Rollup merge of #132374 - fmease:rm-dead-eff-code, r=compiler-errors | Matthias Krüger | -3/+0 | |
| Remove dead code stemming from the old effects desugaring r? project-const-traits | ||||
| 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 | |
| Merge `HostPolarity` and `BoundConstness` They're basically the same thing, and I think `BoundConstness` is easier to use. r? fee1-dead or reassign | ||||
| 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 | |
| Collect item bounds for RPITITs from trait where clauses just like associated types We collect item bounds from trait where clauses for *associated types*, i.e. this: ```rust trait Foo where Self::Assoc: Send { type Assoc; } ``` Becomes this: ```rust trait Foo { type Assoc: Send; } ``` Today, with RPITITs/AFIT and return-type notation, we don't do that, i.e.: ```rust trait Foo where Self::method(..): Send { fn method() -> impl Sized; } fn is_send(_: impl Send) {} fn test<T: Foo>() { is_send(T::method()); } ``` ...which fails on nightly today. Turns out it's super easy to fix this, and we just need to use the `associated_type_bounds` lowering function in `explicit_item_bounds_with_filter`, which has that logic baked in. | ||||
| 2024-10-27 | Rollup merge of #132043 - compiler-errors:simplify-rbv, r=cjgillot | Matthias Krüger | -79/+75 | |
| Simplify param handling in `resolve_bound_vars` I always found the flow of the `ResolvedArg` constructors to be a bit confusing; turns out they're also kinda redundantly passing around their data, too. Also, deduplicate some code handling early-bound var to late-bound var conversion between return type notation's two styles: `where <T as Trait>::method(..): Bound` and `where T: Trait<method(..): Bound>`. | ||||
| 2024-10-26 | Collect item bounds for RPITITs from trait where clauses just like ↵ | Michael Goulet | -14/+2 | |
| associated types | ||||
| 2024-10-26 | Effects cleanup | Deadbeef | -16/+8 | |
| - 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 | -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 | |
| This introduce an additional collection of opaques on HIR, as they can no longer be listed using the free item list. | ||||
| 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 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |