"Verification failed" compiler error for u256/u64 multiplication

[dmihal]

A project of mine is emitting the following error:

error: Internal compiler error: Verification failed: Type mismatch found for call to 'multiply_207': u64 is not a u256.
Please file an issue on the repository and include the code that triggered this error.

The compiler should provide a standard error displaying the line number and source code.

[dmihal]

I've been able to create some simple reproductions:

library;

#[test]
fn test_mul() {
    let a = 1;
    let b = 0x2u256;
    log(b * a);
}

Gives the error:

error: Internal compiler error: Verification failed: Store value and pointer type mismatch.
Please file an issue on the repository and include the code that triggered this error.

Also applies to lt/gt

library;

#[test]
fn test_mul() {
    let a = 1;
    let b = 0x2u256;
    log(b > a);
}