Fun fact: There are 0 traits in Rust's standard library that have more than one type parameter
-
Actually, do the coherence rules treat Self differently from other type params?
-
-
(Hopefully the text of the RFC explains why we can and I think it's a good idea, but feel free to comment here or on the RFC if it's not. TL;DR is that if we assume we for sure never want to allow `impl<T> ForeignTrait<LocalType> for T`, we can treat the target type special
-
Thanks, looks very interesting. I'm going to have to read that a few more times when I'm less tired.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.