func squares<T: Numeric>(of values: [T]) { values.map { (a) in a * a } }

4:39 AM

// closure #1 in squares<A>(of:) sil private @$s2c17squares2ofySayxG_tSjRzlFxxXEfU_ : $@convention(thin) <T where T : Numeric> (@in_guaranteed T) -> @out T {

4:40 AM

たしかにclosureはジェネリックシグネチャを受け取ってた。

4:45 AM

Sema あたりで軽くいじって

固定長タプルだけなら、.map の型チェックの前に、AST変形かけたらいけるような気もする

4:46 AM

レシーバの型に推論が必要な場合は難しいと思う。