diff options
| author | Michael Goulet <michael@errs.io> | 2024-03-24 21:14:49 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-03-24 21:15:23 -0400 |
| commit | 9bda9ac76e8d232c6cf0efde55dace718c1d428c (patch) | |
| tree | 3e1a604e8e95700319ba46d0407fc696294a0a1c /compiler/rustc_const_eval/src/transform | |
| parent | b7d67eace78d5e660df93b513326650fe8226a96 (diff) | |
| download | rust-9bda9ac76e8d232c6cf0efde55dace718c1d428c.tar.gz rust-9bda9ac76e8d232c6cf0efde55dace718c1d428c.zip | |
Relax validation now
Diffstat (limited to 'compiler/rustc_const_eval/src/transform')
| -rw-r--r-- | compiler/rustc_const_eval/src/transform/validate.rs | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/compiler/rustc_const_eval/src/transform/validate.rs b/compiler/rustc_const_eval/src/transform/validate.rs index b085e4e76a1..378b168a50c 100644 --- a/compiler/rustc_const_eval/src/transform/validate.rs +++ b/compiler/rustc_const_eval/src/transform/validate.rs @@ -105,14 +105,13 @@ impl<'tcx> MirPass<'tcx> for Validator { && let Some(by_move_body) = body.coroutine_by_move_body() && let Some(by_move_layout) = by_move_body.coroutine_layout_raw() { - if layout != by_move_layout { - // If this turns out not to be true, please let compiler-errors know. - // It is possible to support, but requires some changes to the layout - // computation code. + // FIXME(async_closures): We could do other validation here? + if layout.variant_fields.len() != by_move_layout.variant_fields.len() { cfg_checker.fail( Location::START, format!( - "Coroutine layout differs from by-move coroutine layout:\n\ + "Coroutine layout has different number of variant fields from \ + by-move coroutine layout:\n\ layout: {layout:#?}\n\ by_move_layout: {by_move_layout:#?}", ), |