Trait with parametric associated alias with variadic Parameter

Mojo
1

Can I declare a trait, that has a parametric associated alias which refers to a type? (My use case would be to specify a container of only a specific type of Pointers)

struct MyTuple[*Ts: Copyable & Movable]:
  ...

trait MyContainer:
  alias Element[is_mut: Bool, \\, origin: Origin[is_mut], *Ts: Copyable & Movable] = Pointer[MyTuple[*Ts], origin]
  fn __getitem__(self, idx: Int, out element: Element): ...
2

This topic was automatically closed 180 days after the last reply. New replies are no longer allowed.