...and the position I hold is informed by things like how irritating it is to see PyQt's "no overload matched" errors crammed into gVim's UI until I re-run the thing in a full-blown terminal and start manually parsing through the list of non-matching overload signatures to try to figure out why what I wrote doesn't match any of them.
With the current status quo in Rust or in Python+MyPy, it reliably knows which function I'm trying to call and can just tell me why the types don't line up because there's only one possible signature to compare to, even if Python allows multiple types of optional arguments.
https://lobste.rs/c/tgthdy
