This is saying that `impl Foo for ~[SomeType] { ... }` (etc.) is always public, right? (even when `SomeType` is not public.)