Document "Incompatible Import of" by wyattscarpenter · Pull Request #21169 · python/mypy
Fixes #13031
I just copied the relevant test case (testStarImportOverlappingMismatch) into here. I think the syntax is intuitive enough that the reader will understand. I also thought this was the least intuitive situation that triggers this error message, so just explaining this one should also allow the user to intuit what's happening in similar situations like y = ""; import x as y, without explicitly mentioning those.