We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b34fd34 commit 675f6fdCopy full SHA for 675f6fd
proposals/024-any-dyn-types.md
@@ -42,7 +42,7 @@ By default, a `dyn` interface is subject to the following restrictions, unless l
42
1. It must not define any mutating methods.
43
1. It cannot contain any methods that has a `some IFoo` return type, or has any `some IFoo` parameters.
44
1. A `dyn` interface cannot inherit from any interfaces that are not `dyn`.
45
-1. A `dyn` interface cannot inherit from `IDifferentiable`, and cannot contain any function requirements that are marked as `[Differentiable]`.
+1. A `dyn` interface cannot contain any function requirements that are marked as `[Differentiable]`.
46
47
Any type that conforms to one or more `dyn` interface is subject to these restrictions:
48
0 commit comments