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