diff options
| author | Ralf Jung <post@ralfj.de> | 2023-09-29 22:38:52 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-09-30 07:38:08 +0200 |
| commit | ffa2d3ab632bd02403a31059f58c513c53513fa8 (patch) | |
| tree | faa9b0b2c7a24c7d1682313e447274b68aa2f7b6 | |
| parent | 809cd20618cce8fe9b128a35980d51cb458570d2 (diff) | |
| download | rust-ffa2d3ab632bd02403a31059f58c513c53513fa8.tar.gz rust-ffa2d3ab632bd02403a31059f58c513c53513fa8.zip | |
dont call mir.post_mono_checks in codegen
| -rw-r--r-- | src/base.rs | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/base.rs b/src/base.rs index 6d55fdc3074..24c7c9135cb 100644 --- a/src/base.rs +++ b/src/base.rs @@ -250,17 +250,6 @@ pub(crate) fn verify_func( } fn codegen_fn_body(fx: &mut FunctionCx<'_, '_, '_>, start_block: Block) { - if let Err(err) = - fx.mir.post_mono_checks(fx.tcx, ty::ParamEnv::reveal_all(), |c| Ok(fx.monomorphize(c))) - { - err.emit_err(fx.tcx); - fx.bcx.append_block_params_for_function_params(fx.block_map[START_BLOCK]); - fx.bcx.switch_to_block(fx.block_map[START_BLOCK]); - // compilation should have been aborted - fx.bcx.ins().trap(TrapCode::UnreachableCodeReached); - return; - } - let arg_uninhabited = fx .mir .args_iter() |