| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-07-07 | Move some logic into a method on `OpaqueTypeCollector` | Oli Scherer | -29/+33 | |
| 2023-07-07 | Remove one layer of nested matching on the same thing | Oli Scherer | -55/+39 | |
| 2023-07-07 | liar liar find_taits_declared_in_body on fire | Oli Scherer | -10/+10 | |
| 2023-07-07 | We don't need to track binders if we aren't normalizing | Oli Scherer | -20/+1 | |
| 2023-07-07 | Remove normalization from `opaque_types_defined_by` | Oli Scherer | -41/+2 | |
| 2023-07-07 | Require TAITs to be mentioned in the signatures of functions that register ↵ | Oli Scherer | -30/+194 | |
| hidden types for them | ||||
| 2023-07-06 | get rid of a bit more calls to poly_select | Michael Goulet | -1/+1 | |
| 2023-07-06 | add helper methods for accessing struct tail | Lukas Markeffsky | -10/+3 | |
| 2023-07-06 | sanity check field offsets in unsizeable structs | Lukas Markeffsky | -0/+49 | |
| 2023-07-06 | clean up struct layout code | Lukas Markeffsky | -32/+37 | |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -14/+16 | |
| 2023-07-05 | Auto merge of #113210 - fee1-dead-contrib:effects-mvp, r=oli-obk | bors | -0/+2 | |
| Effects/keyword generics MVP This adds `feature(effects)`, which adds `const host: bool` to the generics of const functions, const traits and const impls. This will be used to replace the current logic around const traits. r? `@oli-obk` | ||||
| 2023-07-04 | include `host_effect_index` in `Generics` | Deadbeef | -0/+2 | |
| 2023-07-04 | Replace `const_error` methods with `Const::new_error` | Boxy | -1/+1 | |
| 2023-07-04 | Replace `mk_const` with `Const::new_x` methods | Boxy | -13/+15 | |
| 2023-07-04 | Auto merge of #113303 - compiler-errors:yeet-chalk, r=lcnr | bors | -117/+1 | |
| Remove chalk support from the compiler Removes chalk (`-Ztrait-solver=chalk`) from the compiler and prunes any dead code resulting from this, mainly: * Remove the chalk compatibility layer in `compiler/rustc_traits/src/chalk` * Remove the chalk flag `-Ztrait-solver=chalk` and its `TraitEngine` implementation * Remove `TypeWellFormedFromEnv` (and its many `bug!()` match arms) * Remove the chalk migration mode from compiletest * Remove the `chalkify` UI tests (do we want to keep any of these, but migrate them to `-Ztrait-solver=next`??) Fulfills rust-lang/types-team#93. r? `@jackh726` | ||||
| 2023-07-04 | Auto merge of #113215 - compiler-errors:rpitit-predicates-tweaks, r=spastorino | bors | -18/+1 | |
| Make RPITITs assume/require their parent method's predicates Removes a FIXME from the `param_env` query where we were manually adding the parent function's predicates to the RPITIT's assumptions. r? `@spastorino` | ||||
| 2023-07-03 | Remove chalk from the compiler | Michael Goulet | -117/+1 | |
| 2023-07-03 | use `deeply_normalize` for `assumed_wf_types` | lcnr | -20/+57 | |
| 2023-07-01 | Put `FnAbiError` behind reference to shrink result | Nilstrieb | -7/+10 | |
| The `FnAbi` is just a pointer, so the error type should not be bigger. | ||||
| 2023-07-01 | Put `LayoutError` behind reference to shrink result | Nilstrieb | -25/+42 | |
| `LayoutError` is 24 bytes, which is bigger than the `Ok` types, so let's shrink that. | ||||
| 2023-06-30 | RPITITs inherit method predicates | Michael Goulet | -18/+1 | |
| 2023-06-29 | Add bidirectional where clauses on RPITIT synthesized GATs | Santiago Pastorino | -12/+0 | |
| 2023-06-29 | Do not remove previously added predicates in param_env, extend them instead | Santiago Pastorino | -1/+3 | |
| 2023-06-28 | Rollup merge of #112867 - compiler-errors:more-impl-source-nits, r=lcnr | Dylan DPC | -3/+1 | |
| More `ImplSource` nits Even more clean-ups, I'll put this up in parallel with the `select_in_new_trait_solver` PR. r? ``@lcnr`` | ||||
| 2023-06-27 | `thir`: Add `Become` expression kind | Maybe Waffle | -1/+3 | |
| 2023-06-26 | TypeWellFormedInEnv | Michael Goulet | -10/+7 | |
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -10/+11 | |
| 2023-06-23 | Auto merge of #112891 - oli-obk:impl_trait_in_assoc_tys_cleanup, ↵ | bors | -49/+85 | |
| r=compiler-errors Various impl trait in assoc tys cleanups r? `@compiler-errors` All commits except for the last are pure refactorings. 274dab5bd658c97886a8987340bf50ae57900c39 allows struct fields to participate in deciding whether a function has an opaque in its signature. best reviewed commit by commit | ||||
| 2023-06-23 | Rollup merge of #112810 - compiler-errors:dont-ice-on-bad-layout, r=wesleywiser | Matthias Krüger | -7/+28 | |
| Don't ICE on unnormalized struct tail in layout computation 1. We try to compute a `SizeSkeleton` even if a layout error occurs, but we really only need to do this if we get `LayoutError::Unknown`, since that means our type is too polymorphic to actually compute the full layout. If we have other errors, like `LayoutError::NormalizationError` or `LayoutError::Cycle`, then we can't really make any progress, since this represents an actual error. 2. Avoid using `normalize_erasing_regions` and `struct_tail_erasing_lifetimes` since those ICE on normalization errors, and since we may call `layout_of` in HIR typeck, we don't know for certain that we're on the happy path. Fixes #112736 | ||||
| 2023-06-22 | Only walk the identity substituted version of struct fields | Oli Scherer | -1/+22 | |
| 2023-06-22 | Handle weak type aliases by immediately resolving them to their aliased type | Oli Scherer | -9/+14 | |
| 2023-06-22 | ICE on types that should not be defining opaque types | Oli Scherer | -1/+3 | |
| 2023-06-22 | Document what is going on in `opaque_types_defined_by` | Oli Scherer | -0/+3 | |
| 2023-06-22 | Move some field extraction logic onto a method on `Node` | Oli Scherer | -7/+3 | |
| 2023-06-22 | Re-use error code for duplicate error | Oli Scherer | -1/+1 | |
| 2023-06-22 | Treat opaque types failing the signature defining scope check as defining, ↵ | Oli Scherer | -2/+3 | |
| as we already errored and can hide subsequent errors this way. | ||||
| 2023-06-22 | Stop failing eagerly, and collect all opaque types even if some are erroneous. | Oli Scherer | -12/+6 | |
| 2023-06-22 | Point to argument/return type instead of the whole function header | Oli Scherer | -6/+30 | |
| 2023-06-22 | Only create the opaque collector once and visit it many times | Oli Scherer | -20/+10 | |
| 2023-06-22 | Move `opaque_type_origin_unchecked` onto `TyCtxt` and re-use it where it was ↵ | Oli Scherer | -1/+1 | |
| open coded | ||||
| 2023-06-21 | Don't substitute a GAT that has mismatched generics in OpaqueTypeCollector | Michael Goulet | -30/+50 | |
| 2023-06-21 | Rollup merge of #112759 - cjgillot:closure-names, r=oli-obk | Nilstrieb | -5/+6 | |
| Make closure_saved_names_of_captured_variables a query. As we will start removing debuginfo during MIR optimizations, we need to keep them somewhere. | ||||
| 2023-06-20 | yeet ImplSource::TraitAlias too | Michael Goulet | -3/+1 | |
| 2023-06-19 | Better error message | Michael Goulet | -1/+16 | |
| 2023-06-19 | Don't ICE on unnormalized struct tail in layout computation | Michael Goulet | -7/+13 | |
| 2023-06-19 | Store generator field names in GeneratorLayout. | Camille GILLOT | -4/+5 | |
| 2023-06-19 | Make closure_saved_names_of_captured_variables a query. | Camille GILLOT | -1/+1 | |
| 2023-06-19 | Promote unchecked_add/sub/mul/shl/shr to mir::BinOp | Scott McMurray | -2/+3 | |
| 2023-06-17 | Remove even more redundant builtin candidates | Michael Goulet | -77/+60 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |