const min3 = @compileError("deprecated; use @min instead");