いや、Implementation strategy に、「opaque result type を使用するクライアントは、結果値のサイズ、アライメント、レイアウトなどは不明のものとして扱う必要がある」とあるので、型が不明な場合まんま existential として扱うっぽい。