fn check_function_body_ast_block<'db>(
db: &'db dyn Db,
function: SymFunction<'db>,
body: AstBlock<'db>,
) -> SymExpr<'db>fn check_function_body_ast_block<'db>(
db: &'db dyn Db,
function: SymFunction<'db>,
body: AstBlock<'db>,
) -> SymExpr<'db>