More small fixes

dart-lang · Nov 14, 2023 · 318331c · 318331c
1 parent 5e94da2
commit 318331c
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/accepted/future-releases/extension-types/feature-specification.md b/accepted/future-releases/extension-types/feature-specification.md
@@ -546,11 +546,11 @@ repeated computation of the instantiated type of each superinterface on the
 path to the given non-extension type superinterface.
 
 There are two exceptions to these rules: _DV_ does not have a setter named
-`n=` when _DV_ declares a method named `n`, even in the case where _DV_ has
-a direct superinterface that has a setter named `n=`. Similarly, _DV_ does
-not have a method named `n` when _DV_ declares a setter named `n=`, even in
-the case where _DV_ has a direct superinterface that has a method named
-`n`.
+`n=` when _DV_ declares a method named `n`, and _DV_ has a direct
+superinterface that has a setter named `n=`, and _DV_ does not declare a
+setter named `n=`. Similarly, _DV_ does not have a method named `n` when
+_DV_ declares a setter named `n=`, and _DV_ has a direct superinterface
+that has a method named `n`, and _DV_ does not declare a member named `n`.
 
 *These exceptions are applicable to both extension type and non-extension
 type superinterfaces, and to both extension type and non-extension type