Skip to content

Commit e5aaa71

Browse files
committed
delete unmatched )
1 parent f4d0b53 commit e5aaa71

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docs/HigherKinded-v2.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -176,7 +176,7 @@ have more than one type parameter. For instance, here is a trait with contravari
176176
trait Lambda$NP[type -$hkArg$0, +$hkArg1] { type +Apply } extends Lambda$IP with Lambda$PI
177177

178178
Aside: the `+` prefix in front of `Apply` indicates that `Apply` is a covariant type field. Dotty
179-
admits variance annotations on type members).
179+
admits variance annotations on type members.
180180

181181
The definition of `Lambda$NP` shows that `Lambda` traits form a subtyping hierarchy: Traits which
182182
have covariant or contravariant type parameters are subtypes of traits which don't. The supertraits

0 commit comments

Comments
 (0)