[serial_dev]

> structs / types not explicitly declaring which interfaces they implement is a real and unaddressed problem

Isn't it a feature? You can have a "writer" as long as it can "write", and then use that writer anywhere where a function expects a writer?

[richardwhiuk]

But do you obey all of the semantics of the writer interface which aren't expressed in code?