I've had a lot of luck with: "ok now type g... wait, why isn't get_foo autocompleting for you? Hold on, lets go add a hint..." I realize that you're not goin

I've had a lot of luck with: "ok now type g... wait, why isn't get_foo autocompleting for you? Hold on, lets go add a hint..." I realize that you're not going to piecemeal your way to satisfying mypy output like this, but I think it plants the seed in a way that prevents the mentor from being the type-cops.