Self possibly has the wrong kind

[graydon]

Currently kind_noncopyable(), this might be wrong, as per fixme.

[nikomatsakis]

Actually I believe it is correct. Basically self is a special type parameter that can only be used in ifaces and, at the moment, it has no bounds.