An Experimental New Type Inference Scheme for Rust
What <i>would</i> this break, theoretically? It's clearly not as rigorous as something based on HM, but I'm curious what the specific disadvantages are.