diff --git a/explorer/testdata/operators/div_builtin.carbon b/explorer/testdata/operators/div_builtin.carbon
index 4814ee79ce835..616505754216d 100644
--- a/explorer/testdata/operators/div_builtin.carbon
+++ b/explorer/testdata/operators/div_builtin.carbon
@@ -11,9 +11,6 @@
 
 package ExplorerTest api;
 
-// TODO: T:! Div
-fn DoDiv[T:! DivWith(.Self) where .Result == .Self](x: T, y: T) -> T { return x / y; }
-
 fn Main() -> i32 {
-  return DoDiv(8, 3);
+  return 8 / 3;
 }