Why doesn't method dispatch work on the same candidate included from different sources?

[Sukera]

Yes. using/import are for navigating the module hierarchy. include is for establishing that hierarchy (it’s literally pasting the code from the included file where you wrote include). Thus, multiple includes literally create new nodes in the module hierarchy - they are not linked to the original file.