OCLリテラル `Sequence{1, 2.0, 3}` の要素型はどのように推論されるか。

要素型が混在する場合、それらの共通のスーパータイプ(この場合は実数)がコレクションの型パラメータとなる。