| Age | Commit message (Expand) | 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 hi... | Oli Scherer | -30/+194 |
| 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 |
| 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 |
| 2023-07-04 | Auto merge of #113215 - compiler-errors:rpitit-predicates-tweaks, r=spastorino | bors | -18/+1 |
| 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 |
| 2023-07-01 | Put `LayoutError` behind reference to shrink result | Nilstrieb | -25/+42 |
| 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 |
| 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, r=compiler-e... | bors | -49/+85 |
| 2023-06-23 | Rollup merge of #112810 - compiler-errors:dont-ice-on-bad-layout, r=wesleywiser | Matthias Krüger | -7/+28 |
| 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, as... | Oli Scherer | -2/+3 |
| 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 |
| 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 |
| 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 |
