Trait impl aliases not found in default trait implementation

[julio4]

Trait impl aliases not found in trait default implementation.

Cairo version:

2.9.2

To reproduce:

#[generate_trait]
impl TraitImpl of Trait {
    fn call<T, F, +Drop<F>, impl func: core::ops::FnOnce<F, ()>[Output: T], +Drop<T>>(f: F) {
        f();
        // Ok
    }
}

trait DefaultTraitImpl {
    fn call<T, F, +Drop<F>, impl func: core::ops::FnOnce<F, ()>[Output: T], +Drop<T>>(f: F) {
        func::call(f);
     // ˆ Function not found.

        f();
     // ˆ Function not found.
    }
}

[julio4]

@orizi I'm not sure that #7045 solves this issue, I still have the same issue on main

[orizi]

It is not the same issue, as I added a test with it.
Please make sure again.

In any case there are still other issues with open PRs for them.