うーん、 let (x, y): (Int, Double) = (1, 2) が正しいんでしょうが、ラベル付きタプルを宣言して代入という構文も、何のためにラベルがあるのか意味不明なので、 let (x: Int, y: Double) = (1, 2) とできてもいい気がしますね。