Comment by nextaccountic

That's interesting. Can you share some specifics? Like, what makes it worse?

Anyway I didn't mean that simple-sub makes subtyping inference great. It (and mlsub) seems to be just better than previous approaches