From 2270ab3cba26599287471c7ba5dc40cf21dced89 Mon Sep 17 00:00:00 2001
From: Andrey Breslav <abreslav@abreslav-mac.labs.intellij.net>
Date: Wed, 7 Dec 2011 17:37:54 +0400
Subject: [PATCH] KT-750 Type inference failed: Constraint violation

---
 .../testData/diagnostics/tests/regressions/kt750.jet     | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 compiler/testData/diagnostics/tests/regressions/kt750.jet

diff --git a/compiler/testData/diagnostics/tests/regressions/kt750.jet b/compiler/testData/diagnostics/tests/regressions/kt750.jet
new file mode 100644
index 00000000000..9e9760acb17
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/regressions/kt750.jet
@@ -0,0 +1,9 @@
+// +JDK
+//KT-750 Type inference failed: Constraint violation
+fun main(args : Array<String>) {
+  var i : Int? = Integer.valueOf(100)
+  var s : Int? = Integer.valueOf(100)
+
+  val o = i .sure() + s.sure()
+  System.out?.println(o)
+}