File tree Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Expand file tree Collapse file tree 1 file changed +1
-1
lines changed Original file line number Diff line number Diff line change @@ -1367,7 +1367,7 @@ It follows that:
1367
1367
- it must be possible to derive a fully-defined type ` U ` from ` S ` by inferring any unknown type parameters of ` C ` .
1368
1368
1369
1369
Finally, we impose some implementation restrictions (these may be lifted in future releases):
1370
- - ` C ` must not be nested or local (it must not capture its environment, as that results in a zero -argument constructor)
1370
+ - ` C ` must not be nested or local (it must not capture its environment, as that results in a nonzero -argument constructor)
1371
1371
- ` C ` 's constructor must not have an implicit argument list (this simplifies type inference);
1372
1372
- ` C ` must not declare a self type (this simplifies type inference);
1373
1373
- ` C ` must not be ` @specialized ` .
You can’t perform that action at this time.
0 commit comments