Dependent contract interfaces

[spapinistarkware]

The way to define trait dependence in Cairo is this:

trait IA<T, impl B: IB<T>> {
}

this should be extended to #[contract_interface] of the starknet plugin:

#[starknet::interface]
trait ITestContract<TContractState, impl Y: IY<TContractState>, impl Z: IZ<TContractState>> { 
}

The starknet plugin generates a dispatcher object and a dispatcher trait for each contract_interface. In this new case, the generated dispatcher object for ITestContract should also implement the dispatcher trait for IY.

Relevant file for this is crates/cairo-lang-starknet/src/plugin/dispatcher.rs

[gaetbout]

Will look into this

[gaetbout]

Started: https://github.com/gaetbout/cairo/tree/interface

[gaetbout]

This feature is back to Shahar as there are some unplanned complications