"Module is declared with a different address `aptos_framework`" but move compiler doesn't report this

[chuacw]

The plugin is reporting "Module is declared with a different address", but the move compiler doesn't report this, so the plugin has some issue regarding this.

Use attached project to reproduce this issue. Steps.

1. aptos move clean --assume-yes
2. aptos move compile (with or without --skip-fetch-latest-git-deps makes no difference)

No "Module is declared with a different address" messages are reported by the aptos move compiler. But if you open the project in IntelliJ, it reports 3 instances of this error message.

See screenshots.

Here's my aptos info:

Here's the project: a-devs-best-friend.zip

Here's a screenshot of compiling the project:

and you can see there's no "Module is declared with a different address" messages.

[mkurnikov]

I'll disable it for now.

[chuacw]

Thanks, Maksim!