Closed zygoloid closed 2 days ago
In a class C(T:! type), the type Self should be C(T), not merely C. Similarly, in an interface I(T:! type), the type of self should be I(T), not merely I.
class C(T:! type)
Self
C(T)
C
interface I(T:! type)
I(T)
I
Depends on #4086.
zygoloid
commented
4 days ago
In a
class C(T:! type), the typeSelfshould beC(T), not merelyC. Similarly, in aninterface I(T:! type), the type of self should beI(T), not merelyI.