From 318331cb1b342ba09f81d4c12854525055384113 Mon Sep 17 00:00:00 2001 From: Erik Ernst Date: Tue, 14 Nov 2023 16:31:07 +0100 Subject: [PATCH] More small fixes --- .../extension-types/feature-specification.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/accepted/future-releases/extension-types/feature-specification.md b/accepted/future-releases/extension-types/feature-specification.md index b167e0327..e380abceb 100644 --- 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