let pair x y = (x, y) let p1 = pair 1 1 let p2 = (1, True) let p3 = (False, 1) @:Int p1.0 @:Int p1.1 @:Int p2.0 @:Bool p2.1 @:Bool p3.0 @:Int p3.1 @expect_diagnostic 2016 "foo".1 (1,2,3).2 @expect_diagnostic 2015 (1,2,3).3 @expect_diagnostic 2015 (1,2,3).4 @expect_diagnostic 2015 (1,2,3).5