省略語というか単位？ [deg] 的な

1:45 AM

うーん、 rotated(byDegrees angle: Int) の方が圧倒的にシンプルな感じが。 (edited)

1:46 AM

実用上 Pixel に未知の型を指定することってほとんどなさそうだし、未知の型で 90 度単位以外で使った場合だけ事前条件を満たさないということで実行時エラーで良い気も。