dada_ir_sym/check/
blocks.rs1use dada_ir_ast::ast::AstBlock;
2
3use crate::{check::env::Env, check::statements::check_block_statements, ir::exprs::SymExpr};
4
5use super::{CheckExprInEnv, live_places::LivePlaces};
6
7impl<'db> CheckExprInEnv<'db> for AstBlock<'db> {
8 type Output = SymExpr<'db>;
9
10 async fn check_in_env(&self, env: &mut Env<'db>, live_after: LivePlaces) -> Self::Output {
11 let db = env.db();
12
13 let statements = self.statements(db);
14 check_block_statements(env, live_after, statements.span, statements).await
15 }
16}