"superflous" is somehow misleading

[kberov]

In the channels section, line 17 we read.
// (type annotation is superfluous).
I understand it as "nod needed". When I remove the type annotation, the program cannot be compiled.
Does it actually mean "more than enough"?

[marioidival]

I don't think so: I've just executed this one without the type annotation and everything goes well.