Test codegen of concrete trait impls

E.g. for stdlib types which are *not* defined in the calling crate.