bug: Got 'Unknown ap change' error while moving [4]

[wraitii]

Bug Report

Cairo version:

Happens on 2.2.0

Current behavior:

Compiling the following to CASM fails with the error:

Error: Compilation failed.

Caused by:
    #114->#115: Got 'Unknown ap change' error while moving [4].

Minimal repro:

use starknet::ContractAddress;

#[starknet::interface]
trait FirstInterface<T> {
    fn toto(self: @T, t: Array<ContractAddress>);
    fn balance_of(self: @T);
}


#[starknet::contract]
mod toto {
    #[storage]
    struct Storage {}
    
    use super:: {
        FirstInterfaceDispatcher, FirstInterfaceDispatcherTrait,
    };
    
    #[external(v0)]
    fn test_mint_and_unbox(self: @ContractState) {
        let contract = FirstInterfaceDispatcher { contract_address: starknet::contract_address_const::<5>() };
        
        contract.balance_of();
        contract.toto(array![contract.contract_address]);
        contract.balance_of();
    }
}

I believe every line here is necessary to make it fail, but I'm not sure why. The array! call could probably be reduced a bit but I didn't try.

Expected behavior:

This should compile.

Steps to reproduce:

starknet-compile the above, then starknet-sierra-compile it.

Interestingly, changing to

let t = array![contract.contract_address];
contract.toto(t);

Fixes it