> Concerning the 'Sized' kind, I wonder if it can ever be implied,
> somehow, due to the use of T in [T]. Like it's pretty much mandatory if
> you do:
>
> impl <T> foo for [T] {
> }
>
> that the <T> there actually be <T:Sized> right? You can't denote the [T]
> type for any non-Sized T. Not that I'm really keen on any additional
> inference rules that a user needs to remember. Hmm.
Yes, conceivably we could try to do smarter defaulting in this case. I
didn't propose it so as to keep things simple.
Niko
_______________________________________________
Rust-dev mailing list
Rust-dev@mozilla.org
https://mail.mozilla.org/listinfo/rust-dev
