Function check_function_body_ast_block 

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