"Verification failed: Store value and pointer type mismatch" when assigning a u256 to a u64 variable

[dmihal]

The following code gives a minimal reproduction:

library;

#[test]
fn test_bug() {
    let mut result = 0;
    result = 1.as_u256();
    log(result);
}

*Expected behavior

the compiler should log a type error, including the line number and source code.

Actual behavior

The following error is emitted:

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.