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