btw if anyone is genuinely interested in "solving" defaults-affect-inference in Rust, this is the final boss.
to the best of my knowledge, if you can make *this* work (and avoid horrible problems with different defaults colliding), then you have completely solved the problem.
Quote Tweet
Replying to @Gankra_ and @UINT_MIN
but here's the problem, this code compiles today:
String::from_utf8([1, 2, 3].into_iter().collect())
from_utf8 takes a Vec<u8>, so this is actually unambiguous. But now what happens if String becomes String<A=Global> and wants to make from_utf8 work for all A?
Oops! Ambiguous!
4
4
35
