Unintelligible error: ... expected to have type state() but it has type state()

[erszcz]

Another one from #373:

apps/aevm/src/aevm_eeevm_state.erl: The variable on line 504 at column 11 is expected to have type state() but it has type state()

    State1 = aevm_eeevm_memory:write_area(Offs, Mem, State),
    State2 = aevm_eeevm_maps:merge(Maps, State1),
    {Ptr, State2}.
          ^^^^^^

[zuiderkwast]

I suspect there are state() types in two different modules. The error message doesn't show the module name even if there is some info in the filename anno.

[erszcz]

Yep, that's one option. Alternatively, it might be that somehow the state() type with the file annotation is compared with the same type without the annotation and is not equal which leads to the error being reported.