Passing types to arguments that expect traits is a bit clunky
This is the case in the stable release, master
and the native-compiler
branch: passing a class type C
/mut C
to something that expects a trait type mut T
doesn't work well, because mut C
isn't considered compatible with mut T
. In practical terms this means you can't pass e.g. a mut ReadOnlyFile
to a mut Read
.
I'm not sure yet what the best solution is and how to make it sound, but one way or another we should allow this.