_ = Matrix(elem: [[1, 2], [1.0/2 1.0/3]]) は master で -Xfrontend -propagate-constraints ていう experimental なフラグ付けたら通りました。