Skip to content

Commit 08e0ff3

Browse files
authored
Perform a change which was requested for PR 4669, but omitted by mistake (#4670)
1 parent f1776bb commit 08e0ff3

1 file changed

Lines changed: 0 additions & 3 deletions

File tree

working/augmentations/feature-specification.md

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -746,9 +746,6 @@ signature *matches* an introductory signature if:
746746
747747
* For each corresponding pair of parameters:
748748
749-
* They have the same name. _This is trivial for named parameters, but may
750-
fail to hold for positional parameters._
751-
752749
* They have the same type (or the augmenting declaration omits the type).
753750
754751
* They both have the modifier `covariant`, or none of them have it.

0 commit comments

Comments
 (0)