Skip to content

Commit c5b23c3

Browse files
committed
Added note about type parameters in ifaces.
Specficially, the type parameters should be left off of the function signatures in both the iface and the impl if they are already in the iface declaration.
1 parent e430a69 commit c5b23c3

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

doc/tutorial.md

+4
Original file line numberDiff line numberDiff line change
@@ -2504,6 +2504,10 @@ needed because it could also, for example, specify an implementation
25042504
of `seq<int>`—the `of` clause *refers* to a type, rather than defining
25052505
one.
25062506
2507+
Note that functions do not explicitly have the type parameters that
2508+
are provided by the iface. It will cause a compile-time error if you
2509+
include them in the iface or impl.
2510+
25072511
## Casting to an interface type
25082512
25092513
The above allows us to define functions that polymorphically act on

0 commit comments

Comments
 (0)