static <A, B extends A> TArray<A> widen(TArray<B> t) {
  ret (TArray) t;
}