[BUG] Trait inheritance not recognized in variadic contexts

[jjvraw]

Bug description

The type system fails to recognise trait inheritance when used in variadic contexts.

Steps to reproduce

1. Variadic Type Parameters with Collections

trait SomeTrait(CollectionElement):
    ...

struct SomeStruct1[*Ts: CollectionElement]:  # Works
    var tuple: Tuple[*Ts]

struct SomeStruct2[T: SomeTrait]:  # Works
    var tuple: Tuple[T]

struct SomeStruct3[*Ts: SomeTrait]:  # Fails
    var tuple: Tuple[*Ts]

Error: Tuple parameter #0 has `Variadic[CollectionElement]` type, but value has type `Variadic[SomeTrait]`

2. Variadic Keyword Arguments

fn test3(**kwargs: SomeTrait) raises:  # Fails
    pass

Error: argument type must conform to `CollectionElement` to be used in keyword variadic argument

System information

- Ubuntu 24.04
- mojo 24.6.0.dev2024120105 (78dab9b8)
- magic 0.5.1 - (based on pixi 0.37.0)