bug: Using u256 bitwise and fails to compile to CASM

[wraitii]

Bug Report

Cairo version:

Alpha 7

Current behavior:

Compiling the following code with starknet-compile works, but compiling that with starknet-sierra-compile fails with:

Error: Compilation failed.

Caused by:
    [13] is not a supported builtin type.

Expected behavior:

This should compile.

Steps to reproduce:

The following is a minimal reproduction that exhibits this behaviour.

mod BuggedCode {
    use traits::Into;

    #[external]
    fn test_bitwise(input: u256) {
        input & 35425.into();
    }
}

You need to compile it down to CASM using either Scarb or starknet-sierra-compile.