pub async fn check_block_statements<'db>(
env: &mut Env<'db>,
live_after: LivePlaces,
block_span: Span<'db>,
statements: &[AstStatement<'db>],
) -> SymExpr<'db>pub async fn check_block_statements<'db>(
env: &mut Env<'db>,
live_after: LivePlaces,
block_span: Span<'db>,
statements: &[AstStatement<'db>],
) -> SymExpr<'db>