SR-6516 は associatedtype が他の associatedtype を参照している時の話なので、ちょっと違うと思います。これはこれでバグ報告しておいた方が良さそうです。