diff --git a/compiler/testData/cfg/typeParameter.instructions b/compiler/testData/cfg/typeParameter.instructions new file mode 100644 index 00000000000..f656ec4dbb5 --- /dev/null +++ b/compiler/testData/cfg/typeParameter.instructions @@ -0,0 +1,15 @@ +== foo == +fun foo() { + T +} +--------------------- +L0: + NEXT:[error(T, No resolved call)] PREV:[] + error(T, No resolved call) NEXT:[] PREV:[] +L1: + NEXT:[] PREV:[error(T, No resolved call)] +error: + NEXT:[] PREV:[] +sink: + NEXT:[] PREV:[, ] +===================== diff --git a/compiler/testData/cfg/typeParameter.kt b/compiler/testData/cfg/typeParameter.kt new file mode 100644 index 00000000000..68881dea2fb --- /dev/null +++ b/compiler/testData/cfg/typeParameter.kt @@ -0,0 +1,3 @@ +fun foo() { + T +} \ No newline at end of file diff --git a/compiler/testData/diagnostics/tests/incompleteCode/typeParameterOnLhsOfDot.kt b/compiler/testData/diagnostics/tests/incompleteCode/typeParameterOnLhsOfDot.kt index fff988a87f1..f0df88331c0 100644 --- a/compiler/testData/diagnostics/tests/incompleteCode/typeParameterOnLhsOfDot.kt +++ b/compiler/testData/diagnostics/tests/incompleteCode/typeParameterOnLhsOfDot.kt @@ -2,7 +2,7 @@ package bar class S { fun foo() { - T + T T.create() } } \ No newline at end of file diff --git a/compiler/tests/org/jetbrains/jet/cfg/ControlFlowTestGenerated.java b/compiler/tests/org/jetbrains/jet/cfg/ControlFlowTestGenerated.java index 78be8557aa0..7d536615b21 100644 --- a/compiler/tests/org/jetbrains/jet/cfg/ControlFlowTestGenerated.java +++ b/compiler/tests/org/jetbrains/jet/cfg/ControlFlowTestGenerated.java @@ -171,6 +171,11 @@ public class ControlFlowTestGenerated extends AbstractControlFlowTest { doTest("compiler/testData/cfg/ShortFunction.kt"); } + @TestMetadata("typeParameter.kt") + public void testTypeParameter() throws Exception { + doTest("compiler/testData/cfg/typeParameter.kt"); + } + @TestMetadata("unresolved.kt") public void testUnresolved() throws Exception { doTest("compiler/testData/cfg/unresolved.kt");