Allow same identifier in static and regular ops

Closes #1097.
whatwg · May 10, 2022 · c87ac43 · c87ac43
1 parent dbde1ea
commit c87ac43
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/index.bs b/index.bs
@@ -2048,8 +2048,8 @@ Note: The identifier can be the same
 as that of another operation on the interface, however.
 This is how operation overloading is specified.
 
-The [=identifier=] of a [=static operation=]
-also must not be the same as the identifier
+Note: The [=identifier=] of a [=static operation=]
+can be the same as the identifier
 of a [=regular operation=]
 defined on the same [=interface=].