pub fn compute_root_expr(
    ctx: &mut ComputationContext<'_>,
    syntax: &ExprBlock,
    return_type: TypeId
) -> Maybe<ExprId>