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)
+}