Add real literals spec tests

2018-10-31 13:09:34 +03:00
parent 73ecde6cc3
commit 68c1e70b74
205 changed files with 25248 additions and 79 deletions
@@ -0,0 +1,29 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 1
+ * SENTENCE: [1] A real literal consists of the following parts: the whole-number part, the decimal point (ASCII period character .), the fraction part and the exponent.
+ * NUMBER: 1
+ * DESCRIPTION: Real literals separeted by comments.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = 0./**/<!ILLEGAL_SELECTOR!>99901<!>
+
+// TESTCASE NUMBER: 2
+val value_2 = 2./** some doc */<!ILLEGAL_SELECTOR!>1<!>
+
+// TESTCASE NUMBER: 3
+val value_3 = 9999./** some doc *//**/<!ILLEGAL_SELECTOR!>1<!>
+
+// TESTCASE NUMBER: 4
+val value_4 = 9999./** some /** some doc */ doc */<!ILLEGAL_SELECTOR!>1<!>
+
+// TESTCASE NUMBER: 5
+val value_5 = 9999./**/
+<!ILLEGAL_SELECTOR!>1<!>
+
+// TESTCASE NUMBER: 6
+val value_6 = 1000000.//0
+<!ILLEGAL_SELECTOR!>0<!>
@@ -0,0 +1,8 @@
+package
+
+public val value_1: kotlin.Int = 99901
+public val value_2: kotlin.Int = 1
+public val value_3: kotlin.Int = 1
+public val value_4: kotlin.Int = 1
+public val value_5: kotlin.Int = 1
+public val value_6: kotlin.Int = 0
@@ -0,0 +1,29 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 1
+ * SENTENCE: [3] A real literal may also be followed by a type suffix (f or F).
+ * NUMBER: 1
+ * DESCRIPTION: Real literals suffixed by f/F (float suffix) separeted by comments.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = 0./**/<!ILLEGAL_SELECTOR!>99901f<!>
+
+// TESTCASE NUMBER: 2
+val value_2 = 2./** some doc */<!ILLEGAL_SELECTOR!>1F<!>
+
+// TESTCASE NUMBER: 3
+val value_3 = 9999./** some doc *//**/<!ILLEGAL_SELECTOR!>1f<!>
+
+// TESTCASE NUMBER: 4
+val value_4 = 9999./** some /** some doc */ doc */<!ILLEGAL_SELECTOR!>1f<!>
+
+// TESTCASE NUMBER: 5
+val value_5 = 9999./**/
+<!ILLEGAL_SELECTOR!>1F<!>
+
+// TESTCASE NUMBER: 6
+val value_6 = 1000000.//0
+<!ILLEGAL_SELECTOR!>0F<!>
@@ -0,0 +1,8 @@
+package
+
+public val value_1: kotlin.Float = 99901.0.toFloat()
+public val value_2: kotlin.Float = 1.0.toFloat()
+public val value_3: kotlin.Float = 1.0.toFloat()
+public val value_4: kotlin.Float = 1.0.toFloat()
+public val value_5: kotlin.Float = 1.0.toFloat()
+public val value_6: kotlin.Float = 0.0.toFloat()
@@ -0,0 +1,114 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 1
+ * SENTENCE: [1] A real literal consists of the following parts: the whole-number part, the decimal point (ASCII period character .), the fraction part and the exponent.
+ * NUMBER: 1
+ * DESCRIPTION: Simple real literals with a different whole-number part and fraction part.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = 0.0
+
+// TESTCASE NUMBER: 2
+val value_2 = 0.00
+
+// TESTCASE NUMBER: 3
+val value_3 = 0.000
+
+// TESTCASE NUMBER: 4
+val value_4 = 0.0000
+
+// TESTCASE NUMBER: 5
+val value_5 = 00.0
+
+// TESTCASE NUMBER: 6
+val value_6 = 000.00
+
+// TESTCASE NUMBER: 7
+val value_7 = 0000.000
+
+// TESTCASE NUMBER: 8
+val value_8 = 1.0
+
+// TESTCASE NUMBER: 9
+val value_9 = 22.00
+
+// TESTCASE NUMBER: 10
+val value_10 = 333.000
+
+// TESTCASE NUMBER: 11
+val value_11 = 4444.0000
+
+// TESTCASE NUMBER: 12
+val value_12 = 55555.0
+
+// TESTCASE NUMBER: 13
+val value_13 = 666666.00
+
+// TESTCASE NUMBER: 14
+val value_14 = 7777777.000
+
+// TESTCASE NUMBER: 15
+val value_15 = 88888888.0000
+
+// TESTCASE NUMBER: 16
+val value_16 = 999999999.0
+
+// TESTCASE NUMBER: 17
+val value_17 = 0000000000.1234567890
+
+// TESTCASE NUMBER: 18
+val value_18 = 123456789.23456789
+
+// TESTCASE NUMBER: 19
+val value_19 = 2345678.345678
+
+// TESTCASE NUMBER: 20
+val value_20 = 34567.4567
+
+// TESTCASE NUMBER: 21
+val value_21 = 456.56
+
+// TESTCASE NUMBER: 22
+val value_22 = 5.65
+
+// TESTCASE NUMBER: 23
+val value_23 = 654.7654
+
+// TESTCASE NUMBER: 24
+val value_24 = 76543.876543
+
+// TESTCASE NUMBER: 25
+val value_25 = 8765432.98765432
+
+// TESTCASE NUMBER: 26
+val value_26 = 987654321.0987654321
+
+// TESTCASE NUMBER: 27
+val value_27 = 0.1111
+
+// TESTCASE NUMBER: 28
+val value_28 = 1.22222
+
+// TESTCASE NUMBER: 29
+val value_29 = 9.33333
+
+// TESTCASE NUMBER: 30
+val value_30 = 9.444444
+
+// TESTCASE NUMBER: 31
+val value_31 = 8.5555555
+
+// TESTCASE NUMBER: 32
+val value_32 = 2.66666666
+
+// TESTCASE NUMBER: 33
+val value_33 = 3.777777777
+
+// TESTCASE NUMBER: 34
+val value_34 = 7.8888888888
+
+// TESTCASE NUMBER: 35
+val value_35 = 6.99999999999
@@ -0,0 +1,37 @@
+package
+
+public val value_1: kotlin.Double = 0.0.toDouble()
+public val value_10: kotlin.Double = 333.0.toDouble()
+public val value_11: kotlin.Double = 4444.0.toDouble()
+public val value_12: kotlin.Double = 55555.0.toDouble()
+public val value_13: kotlin.Double = 666666.0.toDouble()
+public val value_14: kotlin.Double = 7777777.0.toDouble()
+public val value_15: kotlin.Double = 8.8888888E7.toDouble()
+public val value_16: kotlin.Double = 9.99999999E8.toDouble()
+public val value_17: kotlin.Double = 0.123456789.toDouble()
+public val value_18: kotlin.Double = 1.234567892345679E8.toDouble()
+public val value_19: kotlin.Double = 2345678.345678.toDouble()
+public val value_2: kotlin.Double = 0.0.toDouble()
+public val value_20: kotlin.Double = 34567.4567.toDouble()
+public val value_21: kotlin.Double = 456.56.toDouble()
+public val value_22: kotlin.Double = 5.65.toDouble()
+public val value_23: kotlin.Double = 654.7654.toDouble()
+public val value_24: kotlin.Double = 76543.876543.toDouble()
+public val value_25: kotlin.Double = 8765432.98765432.toDouble()
+public val value_26: kotlin.Double = 9.876543210987654E8.toDouble()
+public val value_27: kotlin.Double = 0.1111.toDouble()
+public val value_28: kotlin.Double = 1.22222.toDouble()
+public val value_29: kotlin.Double = 9.33333.toDouble()
+public val value_3: kotlin.Double = 0.0.toDouble()
+public val value_30: kotlin.Double = 9.444444.toDouble()
+public val value_31: kotlin.Double = 8.5555555.toDouble()
+public val value_32: kotlin.Double = 2.66666666.toDouble()
+public val value_33: kotlin.Double = 3.777777777.toDouble()
+public val value_34: kotlin.Double = 7.8888888888.toDouble()
+public val value_35: kotlin.Double = 6.99999999999.toDouble()
+public val value_4: kotlin.Double = 0.0.toDouble()
+public val value_5: kotlin.Double = 0.0.toDouble()
+public val value_6: kotlin.Double = 0.0.toDouble()
+public val value_7: kotlin.Double = 0.0.toDouble()
+public val value_8: kotlin.Double = 1.0.toDouble()
+public val value_9: kotlin.Double = 22.0.toDouble()
@@ -0,0 +1,45 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 1
+ * SENTENCE: [1] A real literal consists of the following parts: the whole-number part, the decimal point (ASCII period character .), the fraction part and the exponent.
+ * NUMBER: 2
+ * DESCRIPTION: Real literals with a many digits in a whole-number part and a fraction part (including conforms).
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = 0.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
+
+// TESTCASE NUMBER: 2
+val value_2 = <!FLOAT_LITERAL_CONFORMS_ZERO!>0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001<!>
+
+// TESTCASE NUMBER: 3
+val value_3 = -0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000123456789012345678901234567890123456789012345678901234567890
+
+// TESTCASE NUMBER: 4
+val value_4 = -<!FLOAT_LITERAL_CONFORMS_ZERO!>0.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000123456789012345678901234567890123456789012345678901234567890<!>
+
+// TESTCASE NUMBER: 5
+val value_5 = -99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999.0
+
+// TESTCASE NUMBER: 6
+val value_6 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222.0<!>
+
+// TESTCASE NUMBER: 7
+val value_7 = -<!FLOAT_LITERAL_CONFORMS_INFINITY!>555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555123456785012345678501234567850123456785012345678501234567850.0<!>
+
+// TESTCASE NUMBER: 8
+val value_8 = 33333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
+
+// TESTCASE NUMBER: 9
+val value_9 = -44444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
+
+// TESTCASE NUMBER: 10
+val value_10 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001<!>
+
+// TESTCASE NUMBER: 11
+val value_11 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001<!>
+
+// TESTCASE NUMBER: 12
+val value_12 = -<!FLOAT_LITERAL_CONFORMS_INFINITY!>555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555555123456785012345678501234567850123456785012345678501234567850.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000123456789012345678901234567890123456789012345678901234567890<!>
@@ -0,0 +1,14 @@
+package
+
+public val value_1: kotlin.Double = 1.0E-323.toDouble()
+public val value_10: kotlin.Double = Infinity.toDouble()
+public val value_11: kotlin.Double = Infinity.toDouble()
+public val value_12: kotlin.Double = -Infinity.toDouble()
+public val value_2: kotlin.Double = 0.0.toDouble()
+public val value_3: kotlin.Double = -1.0E-323.toDouble()
+public val value_4: kotlin.Double = -0.0.toDouble()
+public val value_5: kotlin.Double = -1.0E308.toDouble()
+public val value_6: kotlin.Double = Infinity.toDouble()
+public val value_7: kotlin.Double = -Infinity.toDouble()
+public val value_8: kotlin.Double = 3.333333333333333E307.toDouble()
+public val value_9: kotlin.Double = -4.4444444444444443E307.toDouble()
@@ -0,0 +1,114 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 1
+ * SENTENCE: [3] A real literal may also be followed by a type suffix (f or F).
+ * NUMBER: 1
+ * DESCRIPTION: Simple real literals suffixed by f/F (the float suffix) with a different whole-number part and fraction part.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = 0.0f
+
+// TESTCASE NUMBER: 2
+val value_2 = 0.00F
+
+// TESTCASE NUMBER: 3
+val value_3 = 0.000f
+
+// TESTCASE NUMBER: 4
+val value_4 = 0.0000F
+
+// TESTCASE NUMBER: 5
+val value_5 = 00.0F
+
+// TESTCASE NUMBER: 6
+val value_6 = 000.00F
+
+// TESTCASE NUMBER: 7
+val value_7 = 0000.000f
+
+// TESTCASE NUMBER: 8
+val value_8 = 1.0F
+
+// TESTCASE NUMBER: 9
+val value_9 = 22.00f
+
+// TESTCASE NUMBER: 10
+val value_10 = 333.000f
+
+// TESTCASE NUMBER: 11
+val value_11 = 4444.0000f
+
+// TESTCASE NUMBER: 12
+val value_12 = 55555.0F
+
+// TESTCASE NUMBER: 13
+val value_13 = 666666.00F
+
+// TESTCASE NUMBER: 14
+val value_14 = 7777777.000f
+
+// TESTCASE NUMBER: 15
+val value_15 = 88888888.0000f
+
+// TESTCASE NUMBER: 16
+val value_16 = 999999999.0f
+
+// TESTCASE NUMBER: 17
+val value_17 = 0000000000.1234567890F
+
+// TESTCASE NUMBER: 18
+val value_18 = 123456789.23456789F
+
+// TESTCASE NUMBER: 19
+val value_19 = 2345678.345678F
+
+// TESTCASE NUMBER: 20
+val value_20 = 34567.4567f
+
+// TESTCASE NUMBER: 21
+val value_21 = 456.56f
+
+// TESTCASE NUMBER: 22
+val value_22 = 5.65F
+
+// TESTCASE NUMBER: 23
+val value_23 = 654.7654f
+
+// TESTCASE NUMBER: 24
+val value_24 = 76543.876543f
+
+// TESTCASE NUMBER: 25
+val value_25 = 8765432.98765432F
+
+// TESTCASE NUMBER: 26
+val value_26 = 987654321.0987654321F
+
+// TESTCASE NUMBER: 27
+val value_27 = 0.1111F
+
+// TESTCASE NUMBER: 28
+val value_28 = 1.22222f
+
+// TESTCASE NUMBER: 29
+val value_29 = 9.33333f
+
+// TESTCASE NUMBER: 30
+val value_30 = 9.444444F
+
+// TESTCASE NUMBER: 31
+val value_31 = 8.5555555f
+
+// TESTCASE NUMBER: 32
+val value_32 = 2.66666666F
+
+// TESTCASE NUMBER: 33
+val value_33 = 3.777777777f
+
+// TESTCASE NUMBER: 34
+val value_34 = 7.8888888888f
+
+// TESTCASE NUMBER: 35
+val value_35 = 6.99999999999F
@@ -0,0 +1,37 @@
+package
+
+public val value_1: kotlin.Float = 0.0.toFloat()
+public val value_10: kotlin.Float = 333.0.toFloat()
+public val value_11: kotlin.Float = 4444.0.toFloat()
+public val value_12: kotlin.Float = 55555.0.toFloat()
+public val value_13: kotlin.Float = 666666.0.toFloat()
+public val value_14: kotlin.Float = 7777777.0.toFloat()
+public val value_15: kotlin.Float = 8.8888888E7.toFloat()
+public val value_16: kotlin.Float = 1.0E9.toFloat()
+public val value_17: kotlin.Float = 0.12345679.toFloat()
+public val value_18: kotlin.Float = 1.23456792E8.toFloat()
+public val value_19: kotlin.Float = 2345678.2.toFloat()
+public val value_2: kotlin.Float = 0.0.toFloat()
+public val value_20: kotlin.Float = 34567.457.toFloat()
+public val value_21: kotlin.Float = 456.56.toFloat()
+public val value_22: kotlin.Float = 5.65.toFloat()
+public val value_23: kotlin.Float = 654.7654.toFloat()
+public val value_24: kotlin.Float = 76543.875.toFloat()
+public val value_25: kotlin.Float = 8765433.0.toFloat()
+public val value_26: kotlin.Float = 9.8765434E8.toFloat()
+public val value_27: kotlin.Float = 0.1111.toFloat()
+public val value_28: kotlin.Float = 1.22222.toFloat()
+public val value_29: kotlin.Float = 9.33333.toFloat()
+public val value_3: kotlin.Float = 0.0.toFloat()
+public val value_30: kotlin.Float = 9.444444.toFloat()
+public val value_31: kotlin.Float = 8.555555.toFloat()
+public val value_32: kotlin.Float = 2.6666667.toFloat()
+public val value_33: kotlin.Float = 3.7777777.toFloat()
+public val value_34: kotlin.Float = 7.888889.toFloat()
+public val value_35: kotlin.Float = 7.0.toFloat()
+public val value_4: kotlin.Float = 0.0.toFloat()
+public val value_5: kotlin.Float = 0.0.toFloat()
+public val value_6: kotlin.Float = 0.0.toFloat()
+public val value_7: kotlin.Float = 0.0.toFloat()
+public val value_8: kotlin.Float = 1.0.toFloat()
+public val value_9: kotlin.Float = 22.0.toFloat()
@@ -0,0 +1,45 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 1
+ * SENTENCE: [3] A real literal may also be followed by a type suffix (f or F).
+ * NUMBER: 2
+ * DESCRIPTION: Real literals suffixed by f/F (the float suffix) with a many digits in a whole-number part and a fraction part  (including conforms).
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = 0.000000000000000000000000000000000000000000001f
+
+// TESTCASE NUMBER: 2
+val value_2 = <!FLOAT_LITERAL_CONFORMS_ZERO!>0.0000000000000000000000000000000000000000000001f<!>
+
+// TESTCASE NUMBER: 3
+val value_3 = -0.00000000000000000000000000000000000000000000123456789012345678901234567890123456789012345678901234567890F
+
+// TESTCASE NUMBER: 4
+val value_4 = -<!FLOAT_LITERAL_CONFORMS_ZERO!>0.0000000000000000000000000000000000000000000001f<!>
+
+// TESTCASE NUMBER: 5
+val value_5 = -99999999999999999999999999999999999999.0f
+
+// TESTCASE NUMBER: 6
+val value_6 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>2222222222222222222222222222222222222222.0f<!>
+
+// TESTCASE NUMBER: 7
+val value_7 = -<!FLOAT_LITERAL_CONFORMS_INFINITY!>555555555123456785012345678501234567850.0F<!>
+
+// TESTCASE NUMBER: 8
+val value_8 = 333333333333333333333333333333333333333.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001f
+
+// TESTCASE NUMBER: 9
+val value_9 = -44444444444444444444444444444444444444.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001F
+
+// TESTCASE NUMBER: 10
+val value_10 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>777777777777777777777777777777777777777.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001F<!>
+
+// TESTCASE NUMBER: 11
+val value_11 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>888888888888888888888888888888888888888.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001f<!>
+
+// TESTCASE NUMBER: 12
+val value_12 = -<!FLOAT_LITERAL_CONFORMS_INFINITY!>555555555555556785012345678501234567850.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000123456789012345678901234567890123456789012345678901234567890f<!>
@@ -0,0 +1,14 @@
+package
+
+public val value_1: kotlin.Float = 1.4E-45.toFloat()
+public val value_10: kotlin.Float = Infinity.toFloat()
+public val value_11: kotlin.Float = Infinity.toFloat()
+public val value_12: kotlin.Float = -Infinity.toFloat()
+public val value_2: kotlin.Float = 0.0.toFloat()
+public val value_3: kotlin.Float = -1.4E-45.toFloat()
+public val value_4: kotlin.Float = -0.0.toFloat()
+public val value_5: kotlin.Float = -1.0E38.toFloat()
+public val value_6: kotlin.Float = Infinity.toFloat()
+public val value_7: kotlin.Float = -Infinity.toFloat()
+public val value_8: kotlin.Float = 3.3333333E38.toFloat()
+public val value_9: kotlin.Float = -4.4444444E37.toFloat()
@@ -0,0 +1,60 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 2
+ * SENTENCE: [1] The exponent is an exponent mark (e or E) followed by an optionaly signed decimal integer (a sequence of decimal digits).
+ * NUMBER: 1
+ * DESCRIPTION: Real literals without digits after an exponent mark.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = <!FLOAT_LITERAL_OUT_OF_RANGE!>0.0E<!>
+
+// TESTCASE NUMBER: 2
+val value_2 = <!FLOAT_LITERAL_OUT_OF_RANGE!>00.0e<!>
+
+// TESTCASE NUMBER: 3
+val value_3 = <!FLOAT_LITERAL_OUT_OF_RANGE!>000.00e-<!>
+
+// TESTCASE NUMBER: 4
+val value_4 = <!FLOAT_LITERAL_OUT_OF_RANGE!>0000.000E+<!>
+
+// TESTCASE NUMBER: 5
+val value_5 = <!FLOAT_LITERAL_OUT_OF_RANGE!>1.0e<!>
+
+// TESTCASE NUMBER: 6
+val value_6 = <!FLOAT_LITERAL_OUT_OF_RANGE!>22.00E+<!>
+
+// TESTCASE NUMBER: 7
+val value_7 = <!FLOAT_LITERAL_OUT_OF_RANGE!>333.000e<!>
+
+// TESTCASE NUMBER: 8
+val value_8 = <!FLOAT_LITERAL_OUT_OF_RANGE!>4444.0000E<!>
+
+// TESTCASE NUMBER: 9
+val value_9 = <!FLOAT_LITERAL_OUT_OF_RANGE!>55555.0e+<!>
+
+// TESTCASE NUMBER: 10
+val value_10 = <!FLOAT_LITERAL_OUT_OF_RANGE!>666666.00E-<!>
+
+// TESTCASE NUMBER: 11
+val value_11 = <!FLOAT_LITERAL_OUT_OF_RANGE!>7777777.000e<!>
+
+// TESTCASE NUMBER: 12
+val value_12 = <!FLOAT_LITERAL_OUT_OF_RANGE!>88888888.0000e<!>
+
+// TESTCASE NUMBER: 13
+val value_13 = <!FLOAT_LITERAL_OUT_OF_RANGE!>999999999.0E-<!>
+
+// TESTCASE NUMBER: 14
+val value_14 = <!FLOAT_LITERAL_OUT_OF_RANGE!>7.888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888e+<!>
+
+// TESTCASE NUMBER: 15
+val value_15 = <!FLOAT_LITERAL_OUT_OF_RANGE!>0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e<!>
+
+// TESTCASE NUMBER: 16
+val value_16 = <!FLOAT_LITERAL_OUT_OF_RANGE!>0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e-<!>
+
+// TESTCASE NUMBER: 17
+val value_17 = <!FLOAT_LITERAL_OUT_OF_RANGE!>0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e+<!>
@@ -0,0 +1,19 @@
+package
+
+public val value_1: kotlin.Double
+public val value_10: kotlin.Double
+public val value_11: kotlin.Double
+public val value_12: kotlin.Double
+public val value_13: kotlin.Double
+public val value_14: kotlin.Double
+public val value_15: kotlin.Double
+public val value_16: kotlin.Double
+public val value_17: kotlin.Double
+public val value_2: kotlin.Double
+public val value_3: kotlin.Double
+public val value_4: kotlin.Double
+public val value_5: kotlin.Double
+public val value_6: kotlin.Double
+public val value_7: kotlin.Double
+public val value_8: kotlin.Double
+public val value_9: kotlin.Double
@@ -0,0 +1,48 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 2
+ * SENTENCE: [1] The exponent is an exponent mark (e or E) followed by an optionaly signed decimal integer (a sequence of decimal digits).
+ * NUMBER: 2
+ * DESCRIPTION: Real literals with a not allowed exponent mark at the beginning.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = <!UNRESOLVED_REFERENCE!>E0<!>
+
+// TESTCASE NUMBER: 2
+val value_2 = <!UNRESOLVED_REFERENCE!>e000<!>
+
+// TESTCASE NUMBER: 3
+val value_3 = <!UNRESOLVED_REFERENCE!>E<!><!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE!>+<!>0
+
+// TESTCASE NUMBER: 4
+val value_4 = <!UNRESOLVED_REFERENCE!>e00<!>
+
+// TESTCASE NUMBER: 5
+val value_5 = <!UNRESOLVED_REFERENCE!>e<!><!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE!>+<!>1
+
+// TESTCASE NUMBER: 6
+val value_6 = <!UNRESOLVED_REFERENCE!>e22<!>
+
+// TESTCASE NUMBER: 7
+val value_7 = <!UNRESOLVED_REFERENCE!>E<!><!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE!>-<!>333
+
+// TESTCASE NUMBER: 8
+val value_8 = <!UNRESOLVED_REFERENCE!>e4444<!>
+
+// TESTCASE NUMBER: 9
+val value_9 = <!UNRESOLVED_REFERENCE!>e<!><!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE!>-<!>55555
+
+// TESTCASE NUMBER: 10
+val value_10 = <!UNRESOLVED_REFERENCE!>e666666<!>
+
+// TESTCASE NUMBER: 11
+val value_11 = <!UNRESOLVED_REFERENCE!>E7777777<!>
+
+// TESTCASE NUMBER: 12
+val value_12 = <!UNRESOLVED_REFERENCE!>e<!><!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE!>-<!>88888888
+
+// TESTCASE NUMBER: 13
+val value_13 = <!UNRESOLVED_REFERENCE!>E<!><!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE!>+<!>999999999
@@ -0,0 +1,15 @@
+package
+
+public val value_1: [ERROR : Type for E0]
+public val value_10: [ERROR : Type for e666666]
+public val value_11: [ERROR : Type for E7777777]
+public val value_12: [ERROR : <ERROR FUNCTION RETURN TYPE>]
+public val value_13: [ERROR : <ERROR FUNCTION RETURN TYPE>]
+public val value_2: [ERROR : Type for e000]
+public val value_3: [ERROR : <ERROR FUNCTION RETURN TYPE>]
+public val value_4: [ERROR : Type for e00]
+public val value_5: [ERROR : <ERROR FUNCTION RETURN TYPE>]
+public val value_6: [ERROR : Type for e22]
+public val value_7: [ERROR : <ERROR FUNCTION RETURN TYPE>]
+public val value_8: [ERROR : Type for e4444]
+public val value_9: [ERROR : <ERROR FUNCTION RETURN TYPE>]
@@ -0,0 +1,48 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 2
+ * SENTENCE: [1] The exponent is an exponent mark (e or E) followed by an optionaly signed decimal integer (a sequence of decimal digits).
+ * NUMBER: 3
+ * DESCRIPTION: Real literals suffixed by f/F (float suffix) with a not allowed exponent mark at the beginning.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = <!UNRESOLVED_REFERENCE!>E0f<!>
+
+// TESTCASE NUMBER: 2
+val value_2 = <!UNRESOLVED_REFERENCE!>e000F<!>
+
+// TESTCASE NUMBER: 3
+val value_3 = <!UNRESOLVED_REFERENCE!>E<!><!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE!>+<!>0f
+
+// TESTCASE NUMBER: 4
+val value_4 = <!UNRESOLVED_REFERENCE!>e00f<!>
+
+// TESTCASE NUMBER: 5
+val value_5 = <!UNRESOLVED_REFERENCE!>e<!><!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE!>+<!>1F
+
+// TESTCASE NUMBER: 6
+val value_6 = <!UNRESOLVED_REFERENCE!>e22F<!>
+
+// TESTCASE NUMBER: 7
+val value_7 = <!UNRESOLVED_REFERENCE!>E<!><!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE!>-<!>333F
+
+// TESTCASE NUMBER: 8
+val value_8 = <!UNRESOLVED_REFERENCE!>e4444f<!>
+
+// TESTCASE NUMBER: 9
+val value_9 = <!UNRESOLVED_REFERENCE!>e<!><!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE!>-<!>55555f
+
+// TESTCASE NUMBER: 10
+val value_10 = <!UNRESOLVED_REFERENCE!>e666666F<!>
+
+// TESTCASE NUMBER: 11
+val value_11 = <!UNRESOLVED_REFERENCE!>E7777777f<!>
+
+// TESTCASE NUMBER: 12
+val value_12 = <!UNRESOLVED_REFERENCE!>e<!><!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE!>-<!>88888888F
+
+// TESTCASE NUMBER: 13
+val value_13 = <!UNRESOLVED_REFERENCE!>E<!><!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE!>+<!>999999999F
@@ -0,0 +1,15 @@
+package
+
+public val value_1: [ERROR : Type for E0f]
+public val value_10: [ERROR : Type for e666666F]
+public val value_11: [ERROR : Type for E7777777f]
+public val value_12: [ERROR : <ERROR FUNCTION RETURN TYPE>]
+public val value_13: [ERROR : <ERROR FUNCTION RETURN TYPE>]
+public val value_2: [ERROR : Type for e000F]
+public val value_3: [ERROR : <ERROR FUNCTION RETURN TYPE>]
+public val value_4: [ERROR : Type for e00f]
+public val value_5: [ERROR : <ERROR FUNCTION RETURN TYPE>]
+public val value_6: [ERROR : Type for e22F]
+public val value_7: [ERROR : <ERROR FUNCTION RETURN TYPE>]
+public val value_8: [ERROR : Type for e4444f]
+public val value_9: [ERROR : <ERROR FUNCTION RETURN TYPE>]
@@ -0,0 +1,60 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 2
+ * SENTENCE: [1] The exponent is an exponent mark (e or E) followed by an optionaly signed decimal integer (a sequence of decimal digits).
+ * NUMBER: 4
+ * DESCRIPTION: Real literals suffixed by f/F (float suffix) with an exponent mark without digits after it.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = <!FLOAT_LITERAL_OUT_OF_RANGE!>0.0EF<!>
+
+// TESTCASE NUMBER: 2
+val value_2 = <!FLOAT_LITERAL_OUT_OF_RANGE!>00.0ef<!>
+
+// TESTCASE NUMBER: 3
+val value_3 = <!FLOAT_LITERAL_OUT_OF_RANGE!>000.00e-f<!>
+
+// TESTCASE NUMBER: 4
+val value_4 = <!FLOAT_LITERAL_OUT_OF_RANGE!>0000.000E+F<!>
+
+// TESTCASE NUMBER: 5
+val value_5 = <!FLOAT_LITERAL_OUT_OF_RANGE!>1.0eF<!>
+
+// TESTCASE NUMBER: 6
+val value_6 = <!FLOAT_LITERAL_OUT_OF_RANGE!>22.00E+f<!>
+
+// TESTCASE NUMBER: 7
+val value_7 = <!FLOAT_LITERAL_OUT_OF_RANGE!>333.000ef<!>
+
+// TESTCASE NUMBER: 8
+val value_8 = <!FLOAT_LITERAL_OUT_OF_RANGE!>4444.0000Ef<!>
+
+// TESTCASE NUMBER: 9
+val value_9 = <!FLOAT_LITERAL_OUT_OF_RANGE!>55555.0e+F<!>
+
+// TESTCASE NUMBER: 10
+val value_10 = <!FLOAT_LITERAL_OUT_OF_RANGE!>666666.00E-F<!>
+
+// TESTCASE NUMBER: 11
+val value_11 = <!FLOAT_LITERAL_OUT_OF_RANGE!>7777777.000eF<!>
+
+// TESTCASE NUMBER: 12
+val value_12 = <!FLOAT_LITERAL_OUT_OF_RANGE!>88888888.0000ef<!>
+
+// TESTCASE NUMBER: 13
+val value_13 = <!FLOAT_LITERAL_OUT_OF_RANGE!>999999999.0E-F<!>
+
+// TESTCASE NUMBER: 14
+val value_14 = <!FLOAT_LITERAL_OUT_OF_RANGE!>7.888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888e+f<!>
+
+// TESTCASE NUMBER: 15
+val value_15 = <!FLOAT_LITERAL_OUT_OF_RANGE!>0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000eF<!>
+
+// TESTCASE NUMBER: 16
+val value_16 = <!FLOAT_LITERAL_OUT_OF_RANGE!>0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e-f<!>
+
+// TESTCASE NUMBER: 17
+val value_17 = <!FLOAT_LITERAL_OUT_OF_RANGE!>0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e+F<!>
@@ -0,0 +1,19 @@
+package
+
+public val value_1: kotlin.Double
+public val value_10: kotlin.Double
+public val value_11: kotlin.Double
+public val value_12: kotlin.Double
+public val value_13: kotlin.Double
+public val value_14: kotlin.Double
+public val value_15: kotlin.Double
+public val value_16: kotlin.Double
+public val value_17: kotlin.Double
+public val value_2: kotlin.Double
+public val value_3: kotlin.Double
+public val value_4: kotlin.Double
+public val value_5: kotlin.Double
+public val value_6: kotlin.Double
+public val value_7: kotlin.Double
+public val value_8: kotlin.Double
+public val value_9: kotlin.Double
@@ -0,0 +1,126 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 2
+ * SENTENCE: [1] The exponent is an exponent mark (e or E) followed by an optionaly signed decimal integer (a sequence of decimal digits).
+ * NUMBER: 1
+ * DESCRIPTION: Simple real literals with an exponent mark.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = 0.0e0
+
+// TESTCASE NUMBER: 2
+val value_2 = 0.0e-00
+
+// TESTCASE NUMBER: 3
+val value_3 = 0.0E000
+
+// TESTCASE NUMBER: 4
+val value_4 = 0.0E+0000
+
+// TESTCASE NUMBER: 5
+val value_5 = 00.0e+0
+
+// TESTCASE NUMBER: 6
+val value_6 = 000.00e00
+
+// TESTCASE NUMBER: 7
+val value_7 = 0000.000E-000
+
+// TESTCASE NUMBER: 8
+val value_8 = 1.0E+1
+
+// TESTCASE NUMBER: 9
+val value_9 = 22.00e22
+
+// TESTCASE NUMBER: 10
+val value_10 = <!FLOAT_LITERAL_CONFORMS_ZERO!>333.000e-333<!>
+
+// TESTCASE NUMBER: 11
+val value_11 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>4444.0000e4444<!>
+
+// TESTCASE NUMBER: 12
+val value_12 = <!FLOAT_LITERAL_CONFORMS_ZERO!>55555.0E-55555<!>
+
+// TESTCASE NUMBER: 13
+val value_13 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>666666.00e666666<!>
+
+// TESTCASE NUMBER: 14
+val value_14 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>7777777.000E7777777<!>
+
+// TESTCASE NUMBER: 15
+val value_15 = <!FLOAT_LITERAL_CONFORMS_ZERO!>88888888.0000e-88888888<!>
+
+// TESTCASE NUMBER: 16
+val value_16 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>999999999.0E+999999999<!>
+
+// TESTCASE NUMBER: 17
+val value_17 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>0000000000.1234567890E999999999<!>
+
+// TESTCASE NUMBER: 18
+val value_18 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>123456789.23456789E+123456789<!>
+
+// TESTCASE NUMBER: 19
+val value_19 = 2345678.345678e00000000001
+
+// TESTCASE NUMBER: 20
+val value_20 = <!FLOAT_LITERAL_CONFORMS_ZERO!>34567.4567E-100000000000<!>
+
+// TESTCASE NUMBER: 21
+val value_21 = 456.56e-0
+
+// TESTCASE NUMBER: 22
+val value_22 = 5.65e000000000000
+
+// TESTCASE NUMBER: 23
+val value_23 = 654.7654E+010
+
+// TESTCASE NUMBER: 24
+val value_24 = 76543.876543E1
+
+// TESTCASE NUMBER: 25
+val value_25 = 8765432.98765432e-2
+
+// TESTCASE NUMBER: 26
+val value_26 = 987654321.0987654321E-3
+
+// TESTCASE NUMBER: 27
+val value_27 = 0.1111e4
+
+// TESTCASE NUMBER: 28
+val value_28 = 1.22222E-5
+
+// TESTCASE NUMBER: 29
+val value_29 = 9.33333e+6
+
+// TESTCASE NUMBER: 30
+val value_30 = 9.444444E7
+
+// TESTCASE NUMBER: 31
+val value_31 = 8.5555555e8
+
+// TESTCASE NUMBER: 32
+val value_32 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>2.66666666e308<!>
+
+// TESTCASE NUMBER: 33
+val value_33 = 3.777777777E-308
+
+// TESTCASE NUMBER: 34
+val value_34 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>7.8888888888e+309<!>
+
+// TESTCASE NUMBER: 35
+val value_35 = 6.99999999999e-309
+
+// TESTCASE NUMBER: 36
+val value_36 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>7.888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888e+111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111<!>
+
+// TESTCASE NUMBER: 37
+val value_37 = 0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
+
+// TESTCASE NUMBER: 38
+val value_38 = 0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e-000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
+
+// TESTCASE NUMBER: 39
+val value_39 = 0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e+000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
@@ -0,0 +1,41 @@
+package
+
+public val value_1: kotlin.Double = 0.0.toDouble()
+public val value_10: kotlin.Double = 0.0.toDouble()
+public val value_11: kotlin.Double = Infinity.toDouble()
+public val value_12: kotlin.Double = 0.0.toDouble()
+public val value_13: kotlin.Double = Infinity.toDouble()
+public val value_14: kotlin.Double = Infinity.toDouble()
+public val value_15: kotlin.Double = 0.0.toDouble()
+public val value_16: kotlin.Double = Infinity.toDouble()
+public val value_17: kotlin.Double = Infinity.toDouble()
+public val value_18: kotlin.Double = Infinity.toDouble()
+public val value_19: kotlin.Double = 2.345678345678E7.toDouble()
+public val value_2: kotlin.Double = 0.0.toDouble()
+public val value_20: kotlin.Double = 0.0.toDouble()
+public val value_21: kotlin.Double = 456.56.toDouble()
+public val value_22: kotlin.Double = 5.65.toDouble()
+public val value_23: kotlin.Double = 6.547654E12.toDouble()
+public val value_24: kotlin.Double = 765438.76543.toDouble()
+public val value_25: kotlin.Double = 87654.3298765432.toDouble()
+public val value_26: kotlin.Double = 987654.3210987655.toDouble()
+public val value_27: kotlin.Double = 1111.0.toDouble()
+public val value_28: kotlin.Double = 1.22222E-5.toDouble()
+public val value_29: kotlin.Double = 9333330.0.toDouble()
+public val value_3: kotlin.Double = 0.0.toDouble()
+public val value_30: kotlin.Double = 9.444444E7.toDouble()
+public val value_31: kotlin.Double = 8.5555555E8.toDouble()
+public val value_32: kotlin.Double = Infinity.toDouble()
+public val value_33: kotlin.Double = 3.777777777E-308.toDouble()
+public val value_34: kotlin.Double = Infinity.toDouble()
+public val value_35: kotlin.Double = 6.99999999999E-309.toDouble()
+public val value_36: kotlin.Double = Infinity.toDouble()
+public val value_37: kotlin.Double = 0.0.toDouble()
+public val value_38: kotlin.Double = 0.0.toDouble()
+public val value_39: kotlin.Double = 0.0.toDouble()
+public val value_4: kotlin.Double = 0.0.toDouble()
+public val value_5: kotlin.Double = 0.0.toDouble()
+public val value_6: kotlin.Double = 0.0.toDouble()
+public val value_7: kotlin.Double = 0.0.toDouble()
+public val value_8: kotlin.Double = 10.0.toDouble()
+public val value_9: kotlin.Double = 2.2E23.toDouble()
@@ -0,0 +1,87 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 2
+ * SENTENCE: [1] The exponent is an exponent mark (e or E) followed by an optionaly signed decimal integer (a sequence of decimal digits).
+ * NUMBER: 2
+ * DESCRIPTION: Real literals suffixed by f/F (float suffix) with an exponent mark.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = 0.0e0f
+
+// TESTCASE NUMBER: 2
+val value_2 = 0.0e-00F
+
+// TESTCASE NUMBER: 3
+val value_3 = 0.0E000F
+
+// TESTCASE NUMBER: 4
+val value_4 = 0.0E+0000f
+
+// TESTCASE NUMBER: 5
+val value_5 = 00.0e+0f
+
+// TESTCASE NUMBER: 6
+val value_6 = 000.00e00f
+
+// TESTCASE NUMBER: 7
+val value_7 = 0000.000E-000F
+
+// TESTCASE NUMBER: 8
+val value_8 = 1.0E+1F
+
+// TESTCASE NUMBER: 9
+val value_9 = 22.00e22F
+
+// TESTCASE NUMBER: 10
+val value_10 = 2345678.345678e00000000001F
+
+// TESTCASE NUMBER: 11
+val value_11 = 456.56e-0f
+
+// TESTCASE NUMBER: 12
+val value_12 = 5.65e000000000000F
+
+// TESTCASE NUMBER: 13
+val value_13 = 654.7654E+010f
+
+// TESTCASE NUMBER: 14
+val value_14 = 76543.876543E1f
+
+// TESTCASE NUMBER: 15
+val value_15 = 8765432.98765432e-2f
+
+// TESTCASE NUMBER: 16
+val value_16 = 987654321.0987654321E-3f
+
+// TESTCASE NUMBER: 17
+val value_17 = 0.1111e4f
+
+// TESTCASE NUMBER: 18
+val value_18 = 1.22222E-5F
+
+// TESTCASE NUMBER: 19
+val value_19 = 9.33333e+6F
+
+// TESTCASE NUMBER: 20
+val value_20 = 9.444444E7F
+
+// TESTCASE NUMBER: 21
+val value_21 = 8.5555555e8f
+
+// TESTCASE NUMBER: 22
+val value_22 = <!FLOAT_LITERAL_CONFORMS_ZERO!>3.777777777E-308f<!>
+
+// TESTCASE NUMBER: 23
+val value_23 = <!FLOAT_LITERAL_CONFORMS_ZERO!>6.99999999999e-309F<!>
+
+// TESTCASE NUMBER: 24
+val value_24 = 0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000f
+
+// TESTCASE NUMBER: 25
+val value_25 = 0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e-000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000F
+
+// TESTCASE NUMBER: 26
+val value_26 = 0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e+000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000f
@@ -0,0 +1,28 @@
+package
+
+public val value_1: kotlin.Float = 0.0.toFloat()
+public val value_10: kotlin.Float = 2.3456784E7.toFloat()
+public val value_11: kotlin.Float = 456.56.toFloat()
+public val value_12: kotlin.Float = 5.65.toFloat()
+public val value_13: kotlin.Float = 6.547654E12.toFloat()
+public val value_14: kotlin.Float = 765438.75.toFloat()
+public val value_15: kotlin.Float = 87654.33.toFloat()
+public val value_16: kotlin.Float = 987654.3.toFloat()
+public val value_17: kotlin.Float = 1111.0.toFloat()
+public val value_18: kotlin.Float = 1.22222E-5.toFloat()
+public val value_19: kotlin.Float = 9333330.0.toFloat()
+public val value_2: kotlin.Float = 0.0.toFloat()
+public val value_20: kotlin.Float = 9.444444E7.toFloat()
+public val value_21: kotlin.Float = 8.5555552E8.toFloat()
+public val value_22: kotlin.Float = 0.0.toFloat()
+public val value_23: kotlin.Float = 0.0.toFloat()
+public val value_24: kotlin.Float = 0.0.toFloat()
+public val value_25: kotlin.Float = 0.0.toFloat()
+public val value_26: kotlin.Float = 0.0.toFloat()
+public val value_3: kotlin.Float = 0.0.toFloat()
+public val value_4: kotlin.Float = 0.0.toFloat()
+public val value_5: kotlin.Float = 0.0.toFloat()
+public val value_6: kotlin.Float = 0.0.toFloat()
+public val value_7: kotlin.Float = 0.0.toFloat()
+public val value_8: kotlin.Float = 10.0.toFloat()
+public val value_9: kotlin.Float = 2.2E23.toFloat()
@@ -0,0 +1,60 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 3
+ * SENTENCE: [1] The whole-number part and the exponent part may be omitted.
+ * NUMBER: 1
+ * DESCRIPTION: Real literals with omitted a whole-number part and an exponent mark without digits after it.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.0E<!>
+
+// TESTCASE NUMBER: 2
+val value_2 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.0e<!>
+
+// TESTCASE NUMBER: 3
+val value_3 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.00e-<!>
+
+// TESTCASE NUMBER: 4
+val value_4 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.000E+<!>
+
+// TESTCASE NUMBER: 5
+val value_5 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.0e<!>
+
+// TESTCASE NUMBER: 6
+val value_6 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.00E+<!>
+
+// TESTCASE NUMBER: 7
+val value_7 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.000e<!>
+
+// TESTCASE NUMBER: 8
+val value_8 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.0000E<!>
+
+// TESTCASE NUMBER: 9
+val value_9 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.0e+<!>
+
+// TESTCASE NUMBER: 10
+val value_10 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.00E-<!>
+
+// TESTCASE NUMBER: 11
+val value_11 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.000e<!>
+
+// TESTCASE NUMBER: 12
+val value_12 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.0000e<!>
+
+// TESTCASE NUMBER: 13
+val value_13 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.0E-<!>
+
+// TESTCASE NUMBER: 14
+val value_14 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888e+<!>
+
+// TESTCASE NUMBER: 15
+val value_15 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e<!>
+
+// TESTCASE NUMBER: 16
+val value_16 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e-<!>
+
+// TESTCASE NUMBER: 17
+val value_17 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e+<!>
@@ -0,0 +1,19 @@
+package
+
+public val value_1: kotlin.Double
+public val value_10: kotlin.Double
+public val value_11: kotlin.Double
+public val value_12: kotlin.Double
+public val value_13: kotlin.Double
+public val value_14: kotlin.Double
+public val value_15: kotlin.Double
+public val value_16: kotlin.Double
+public val value_17: kotlin.Double
+public val value_2: kotlin.Double
+public val value_3: kotlin.Double
+public val value_4: kotlin.Double
+public val value_5: kotlin.Double
+public val value_6: kotlin.Double
+public val value_7: kotlin.Double
+public val value_8: kotlin.Double
+public val value_9: kotlin.Double
@@ -0,0 +1,60 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 3
+ * SENTENCE: [1] The whole-number part and the exponent part may be omitted.
+ * NUMBER: 2
+ * DESCRIPTION: Real literals with omitted a whole-number part, suffixed by f/F (float suffix) followed by an exponent mark without digits.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.0EF<!>
+
+// TESTCASE NUMBER: 2
+val value_2 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.0ef<!>
+
+// TESTCASE NUMBER: 3
+val value_3 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.00e-f<!>
+
+// TESTCASE NUMBER: 4
+val value_4 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.000E+F<!>
+
+// TESTCASE NUMBER: 5
+val value_5 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.0eF<!>
+
+// TESTCASE NUMBER: 6
+val value_6 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.00E+f<!>
+
+// TESTCASE NUMBER: 7
+val value_7 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.000ef<!>
+
+// TESTCASE NUMBER: 8
+val value_8 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.0000Ef<!>
+
+// TESTCASE NUMBER: 9
+val value_9 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.0e+F<!>
+
+// TESTCASE NUMBER: 10
+val value_10 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.00E-F<!>
+
+// TESTCASE NUMBER: 11
+val value_11 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.000eF<!>
+
+// TESTCASE NUMBER: 12
+val value_12 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.0000ef<!>
+
+// TESTCASE NUMBER: 13
+val value_13 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.0E-F<!>
+
+// TESTCASE NUMBER: 14
+val value_14 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888e+f<!>
+
+// TESTCASE NUMBER: 15
+val value_15 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000eF<!>
+
+// TESTCASE NUMBER: 16
+val value_16 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e-f<!>
+
+// TESTCASE NUMBER: 17
+val value_17 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e+F<!>
@@ -0,0 +1,19 @@
+package
+
+public val value_1: kotlin.Double
+public val value_10: kotlin.Double
+public val value_11: kotlin.Double
+public val value_12: kotlin.Double
+public val value_13: kotlin.Double
+public val value_14: kotlin.Double
+public val value_15: kotlin.Double
+public val value_16: kotlin.Double
+public val value_17: kotlin.Double
+public val value_2: kotlin.Double
+public val value_3: kotlin.Double
+public val value_4: kotlin.Double
+public val value_5: kotlin.Double
+public val value_6: kotlin.Double
+public val value_7: kotlin.Double
+public val value_8: kotlin.Double
+public val value_9: kotlin.Double
@@ -0,0 +1,36 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 3
+ * SENTENCE: [2] The fraction part may be omitted only together with the decimal point, if the whole-number part and either the exponent part or the type suffix are present.
+ * NUMBER: 1
+ * DESCRIPTION: Real literals with omitted a fraction part and an exponent mark without digits after it.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = <!FLOAT_LITERAL_OUT_OF_RANGE!>0e<!>
+
+// TESTCASE NUMBER: 2
+val value_2 = <!FLOAT_LITERAL_OUT_OF_RANGE!>00e-<!>
+
+// TESTCASE NUMBER: 3
+val value_3 = <!FLOAT_LITERAL_OUT_OF_RANGE!>000E+<!>
+
+// TESTCASE NUMBER: 4
+val value_4 = <!FLOAT_LITERAL_OUT_OF_RANGE!>0000e+<!>
+
+// TESTCASE NUMBER: 5
+val value_5 = <!FLOAT_LITERAL_OUT_OF_RANGE!>00000000000000000000000000000000000000E<!>
+
+// TESTCASE NUMBER: 6
+val value_6 = <!FLOAT_LITERAL_OUT_OF_RANGE!>34567E+<!>
+
+// TESTCASE NUMBER: 7
+val value_7 = <!FLOAT_LITERAL_OUT_OF_RANGE!>456e-<!>
+
+// TESTCASE NUMBER: 8
+val value_8 = <!FLOAT_LITERAL_OUT_OF_RANGE!>55555e+f<!>
+
+// TESTCASE NUMBER: 9
+val value_9 = <!FLOAT_LITERAL_OUT_OF_RANGE!>666666E-F<!>
@@ -0,0 +1,11 @@
+package
+
+public val value_1: kotlin.Double
+public val value_2: kotlin.Double
+public val value_3: kotlin.Double
+public val value_4: kotlin.Double
+public val value_5: kotlin.Double
+public val value_6: kotlin.Double
+public val value_7: kotlin.Double
+public val value_8: kotlin.Double
+public val value_9: kotlin.Double
@@ -0,0 +1,96 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 3
+ * SENTENCE: [1] The whole-number part and the exponent part may be omitted.
+ * NUMBER: 1
+ * DESCRIPTION: Simple real literals with omitted a whole-number part.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = .0
+
+// TESTCASE NUMBER: 2
+val value_2 = .00
+
+// TESTCASE NUMBER: 3
+val value_3 = .000
+
+// TESTCASE NUMBER: 4
+val value_4 = .0000
+
+// TESTCASE NUMBER: 5
+val value_5 = .1234567890
+
+// TESTCASE NUMBER: 6
+val value_6 = .23456789
+
+// TESTCASE NUMBER: 7
+val value_7 = .345678
+
+// TESTCASE NUMBER: 8
+val value_8 = .4567
+
+// TESTCASE NUMBER: 9
+val value_9 = .56
+
+// TESTCASE NUMBER: 10
+val value_10 = .65
+
+// TESTCASE NUMBER: 11
+val value_11 = .7654
+
+// TESTCASE NUMBER: 12
+val value_12 = .876543
+
+// TESTCASE NUMBER: 13
+val value_13 = .98765432
+
+// TESTCASE NUMBER: 14
+val value_14 = .0987654321
+
+// TESTCASE NUMBER: 15
+val value_15 = .1111
+
+// TESTCASE NUMBER: 16
+val value_16 = .22222
+
+// TESTCASE NUMBER: 17
+val value_17 = .33333
+
+// TESTCASE NUMBER: 18
+val value_18 = .444444
+
+// TESTCASE NUMBER: 19
+val value_19 = .5555555
+
+// TESTCASE NUMBER: 20
+val value_20 = .66666666
+
+// TESTCASE NUMBER: 21
+val value_21 = .777777777
+
+// TESTCASE NUMBER: 22
+val value_22 = .8888888888
+
+// TESTCASE NUMBER: 23
+val value_23 = .99999999999
+
+// TESTCASE NUMBER: 24
+val value_24 = .00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001
+
+// TESTCASE NUMBER: 25
+val value_25 = <!FLOAT_LITERAL_CONFORMS_ZERO!>.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001<!>
+
+// TESTCASE NUMBER: 26
+val value_26 = .0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000123456789012345678901234567890123456789012345678901234567890
+
+// TESTCASE NUMBER: 27
+val value_27 = .44444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444441
+
+// TESTCASE NUMBER: 28
+val value_28 = .777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777771
+
+// TESTCASE NUMBER: 29
+val value_29 = .9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999123456789912345678991234567899123456789912345678991234567899
@@ -0,0 +1,31 @@
+package
+
+public val value_1: kotlin.Double = 0.0.toDouble()
+public val value_10: kotlin.Double = 0.65.toDouble()
+public val value_11: kotlin.Double = 0.7654.toDouble()
+public val value_12: kotlin.Double = 0.876543.toDouble()
+public val value_13: kotlin.Double = 0.98765432.toDouble()
+public val value_14: kotlin.Double = 0.0987654321.toDouble()
+public val value_15: kotlin.Double = 0.1111.toDouble()
+public val value_16: kotlin.Double = 0.22222.toDouble()
+public val value_17: kotlin.Double = 0.33333.toDouble()
+public val value_18: kotlin.Double = 0.444444.toDouble()
+public val value_19: kotlin.Double = 0.5555555.toDouble()
+public val value_2: kotlin.Double = 0.0.toDouble()
+public val value_20: kotlin.Double = 0.66666666.toDouble()
+public val value_21: kotlin.Double = 0.777777777.toDouble()
+public val value_22: kotlin.Double = 0.8888888888.toDouble()
+public val value_23: kotlin.Double = 0.99999999999.toDouble()
+public val value_24: kotlin.Double = 1.0E-323.toDouble()
+public val value_25: kotlin.Double = 0.0.toDouble()
+public val value_26: kotlin.Double = 1.0E-323.toDouble()
+public val value_27: kotlin.Double = 0.4444444444444444.toDouble()
+public val value_28: kotlin.Double = 0.7777777777777778.toDouble()
+public val value_29: kotlin.Double = 1.0.toDouble()
+public val value_3: kotlin.Double = 0.0.toDouble()
+public val value_4: kotlin.Double = 0.0.toDouble()
+public val value_5: kotlin.Double = 0.123456789.toDouble()
+public val value_6: kotlin.Double = 0.23456789.toDouble()
+public val value_7: kotlin.Double = 0.345678.toDouble()
+public val value_8: kotlin.Double = 0.4567.toDouble()
+public val value_9: kotlin.Double = 0.56.toDouble()
@@ -0,0 +1,99 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 3
+ * SENTENCE: [1] The whole-number part and the exponent part may be omitted.
+ * NUMBER: 2
+ * DESCRIPTION: Real literals with omitted a whole-number part and an exponent mark.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = .0e0
+
+// TESTCASE NUMBER: 2
+val value_2 = .0e-00
+
+// TESTCASE NUMBER: 3
+val value_3 = .0E000
+
+// TESTCASE NUMBER: 4
+val value_4 = .0E+0000
+
+// TESTCASE NUMBER: 5
+val value_5 = .0e+0
+
+// TESTCASE NUMBER: 6
+val value_6 = .00e00
+
+// TESTCASE NUMBER: 7
+val value_7 = .000E-000
+
+// TESTCASE NUMBER: 8
+val value_8 = .0E+1
+
+// TESTCASE NUMBER: 9
+val value_9 = .00e22
+
+// TESTCASE NUMBER: 10
+val value_10 = .000e-333
+
+// TESTCASE NUMBER: 12
+val value_12 = .0E-55555
+
+// TESTCASE NUMBER: 15
+val value_15 = .0000e-88888888
+
+// TESTCASE NUMBER: 19
+val value_19 = .345678e00000000001
+
+// TESTCASE NUMBER: 20
+val value_20 = <!FLOAT_LITERAL_CONFORMS_ZERO!>.4567E-100000000000<!>
+
+// TESTCASE NUMBER: 21
+val value_21 = .56e-0
+
+// TESTCASE NUMBER: 22
+val value_22 = .65e000000000000
+
+// TESTCASE NUMBER: 23
+val value_23 = .7654E+010
+
+// TESTCASE NUMBER: 24
+val value_24 = .876543E1
+
+// TESTCASE NUMBER: 25
+val value_25 = .98765432e-2
+
+// TESTCASE NUMBER: 26
+val value_26 = .0987654321E-3
+
+// TESTCASE NUMBER: 27
+val value_27 = .1111e4
+
+// TESTCASE NUMBER: 28
+val value_28 = .22222E-5
+
+// TESTCASE NUMBER: 29
+val value_29 = .33333e+6
+
+// TESTCASE NUMBER: 30
+val value_30 = .444444E7
+
+// TESTCASE NUMBER: 31
+val value_31 = .5555555e8
+
+// TESTCASE NUMBER: 33
+val value_33 = .777777777E-308
+
+// TESTCASE NUMBER: 35
+val value_35 = .99999999999e-309
+
+// TESTCASE NUMBER: 37
+val value_37 = .000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
+
+// TESTCASE NUMBER: 38
+val value_38 = .000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e-000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
+
+// TESTCASE NUMBER: 39
+val value_39 = .000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e+000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
@@ -0,0 +1,32 @@
+package
+
+public val value_1: kotlin.Double = 0.0.toDouble()
+public val value_10: kotlin.Double = 0.0.toDouble()
+public val value_12: kotlin.Double = 0.0.toDouble()
+public val value_15: kotlin.Double = 0.0.toDouble()
+public val value_19: kotlin.Double = 3.45678.toDouble()
+public val value_2: kotlin.Double = 0.0.toDouble()
+public val value_20: kotlin.Double = 0.0.toDouble()
+public val value_21: kotlin.Double = 0.56.toDouble()
+public val value_22: kotlin.Double = 0.65.toDouble()
+public val value_23: kotlin.Double = 7.654E9.toDouble()
+public val value_24: kotlin.Double = 8.76543.toDouble()
+public val value_25: kotlin.Double = 0.0098765432.toDouble()
+public val value_26: kotlin.Double = 9.87654321E-5.toDouble()
+public val value_27: kotlin.Double = 1111.0.toDouble()
+public val value_28: kotlin.Double = 2.2222E-6.toDouble()
+public val value_29: kotlin.Double = 333330.0.toDouble()
+public val value_3: kotlin.Double = 0.0.toDouble()
+public val value_30: kotlin.Double = 4444440.0.toDouble()
+public val value_31: kotlin.Double = 5.555555E7.toDouble()
+public val value_33: kotlin.Double = 7.77777777E-309.toDouble()
+public val value_35: kotlin.Double = 9.9999999999E-310.toDouble()
+public val value_37: kotlin.Double = 0.0.toDouble()
+public val value_38: kotlin.Double = 0.0.toDouble()
+public val value_39: kotlin.Double = 0.0.toDouble()
+public val value_4: kotlin.Double = 0.0.toDouble()
+public val value_5: kotlin.Double = 0.0.toDouble()
+public val value_6: kotlin.Double = 0.0.toDouble()
+public val value_7: kotlin.Double = 0.0.toDouble()
+public val value_8: kotlin.Double = 0.0.toDouble()
+public val value_9: kotlin.Double = 0.0.toDouble()
@@ -0,0 +1,29 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 3
+ * SENTENCE: [1] The whole-number part and the exponent part may be omitted.
+ * NUMBER: 3
+ * DESCRIPTION: Real literals separeted by comments with omitted a whole-number part.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = /**/.99901
+
+// TESTCASE NUMBER: 2
+val value_2 = /** some doc */.1f
+
+// TESTCASE NUMBER: 3
+val value_3 = /** some doc *//**/.1
+
+// TESTCASE NUMBER: 4
+val value_4 = /** some /** some doc */ doc */.1e1
+
+// TESTCASE NUMBER: 5
+val value_5 = /**/
+.1F
+
+// TESTCASE NUMBER: 6
+val value_6 = //0
+.0
@@ -0,0 +1,8 @@
+package
+
+public val value_1: kotlin.Double = 0.99901.toDouble()
+public val value_2: kotlin.Float = 0.1.toFloat()
+public val value_3: kotlin.Double = 0.1.toDouble()
+public val value_4: kotlin.Double = 1.0.toDouble()
+public val value_5: kotlin.Float = 0.1.toFloat()
+public val value_6: kotlin.Double = 0.0.toDouble()
@@ -0,0 +1,78 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 3
+ * SENTENCE: [1] The whole-number part and the exponent part may be omitted.
+ * NUMBER: 4
+ * DESCRIPTION: Real literals suffixed by f/F (float suffix) with omitted a whole-number part.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = .0F
+
+// TESTCASE NUMBER: 2
+val value_2 = .00F
+
+// TESTCASE NUMBER: 3
+val value_3 = .000F
+
+// TESTCASE NUMBER: 4
+val value_4 = .0000f
+
+// TESTCASE NUMBER: 5
+val value_5 = .1234567890f
+
+// TESTCASE NUMBER: 6
+val value_6 = .23456789f
+
+// TESTCASE NUMBER: 7
+val value_7 = .345678F
+
+// TESTCASE NUMBER: 8
+val value_8 = .4567f
+
+// TESTCASE NUMBER: 9
+val value_9 = .56F
+
+// TESTCASE NUMBER: 10
+val value_10 = .65F
+
+// TESTCASE NUMBER: 11
+val value_11 = .7654f
+
+// TESTCASE NUMBER: 12
+val value_12 = .876543f
+
+// TESTCASE NUMBER: 13
+val value_13 = .98765432F
+
+// TESTCASE NUMBER: 14
+val value_14 = .0987654321f
+
+// TESTCASE NUMBER: 15
+val value_15 = .1111f
+
+// TESTCASE NUMBER: 16
+val value_16 = .22222f
+
+// TESTCASE NUMBER: 17
+val value_17 = .33333F
+
+// TESTCASE NUMBER: 18
+val value_18 = .444444F
+
+// TESTCASE NUMBER: 19
+val value_19 = .5555555F
+
+// TESTCASE NUMBER: 20
+val value_20 = .66666666F
+
+// TESTCASE NUMBER: 21
+val value_21 = .777777777F
+
+// TESTCASE NUMBER: 22
+val value_22 = .8888888888f
+
+// TESTCASE NUMBER: 23
+val value_23 = .99999999999f
@@ -0,0 +1,25 @@
+package
+
+public val value_1: kotlin.Float = 0.0.toFloat()
+public val value_10: kotlin.Float = 0.65.toFloat()
+public val value_11: kotlin.Float = 0.7654.toFloat()
+public val value_12: kotlin.Float = 0.876543.toFloat()
+public val value_13: kotlin.Float = 0.9876543.toFloat()
+public val value_14: kotlin.Float = 0.09876543.toFloat()
+public val value_15: kotlin.Float = 0.1111.toFloat()
+public val value_16: kotlin.Float = 0.22222.toFloat()
+public val value_17: kotlin.Float = 0.33333.toFloat()
+public val value_18: kotlin.Float = 0.444444.toFloat()
+public val value_19: kotlin.Float = 0.5555555.toFloat()
+public val value_2: kotlin.Float = 0.0.toFloat()
+public val value_20: kotlin.Float = 0.6666667.toFloat()
+public val value_21: kotlin.Float = 0.7777778.toFloat()
+public val value_22: kotlin.Float = 0.8888889.toFloat()
+public val value_23: kotlin.Float = 1.0.toFloat()
+public val value_3: kotlin.Float = 0.0.toFloat()
+public val value_4: kotlin.Float = 0.0.toFloat()
+public val value_5: kotlin.Float = 0.12345679.toFloat()
+public val value_6: kotlin.Float = 0.2345679.toFloat()
+public val value_7: kotlin.Float = 0.345678.toFloat()
+public val value_8: kotlin.Float = 0.4567.toFloat()
+public val value_9: kotlin.Float = 0.56.toFloat()
@@ -0,0 +1,87 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 3
+ * SENTENCE: [1] The whole-number part and the exponent part may be omitted.
+ * NUMBER: 5
+ * DESCRIPTION: Real literals suffixed by f/F (float suffix) with omitted a whole-number part and an exponent mark.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = .0e0f
+
+// TESTCASE NUMBER: 2
+val value_2 = .0e-00F
+
+// TESTCASE NUMBER: 3
+val value_3 = .0E000F
+
+// TESTCASE NUMBER: 4
+val value_4 = .0E+0000f
+
+// TESTCASE NUMBER: 5
+val value_5 = .0e+0f
+
+// TESTCASE NUMBER: 6
+val value_6 = .00e00f
+
+// TESTCASE NUMBER: 7
+val value_7 = .000E-000F
+
+// TESTCASE NUMBER: 8
+val value_8 = .0E+1F
+
+// TESTCASE NUMBER: 9
+val value_9 = .00e22F
+
+// TESTCASE NUMBER: 10
+val value_10 = .345678e00000000001F
+
+// TESTCASE NUMBER: 11
+val value_11 = .56e-0f
+
+// TESTCASE NUMBER: 12
+val value_12 = .65e000000000000F
+
+// TESTCASE NUMBER: 13
+val value_13 = .7654E+010f
+
+// TESTCASE NUMBER: 14
+val value_14 = .876543E1f
+
+// TESTCASE NUMBER: 15
+val value_15 = .98765432e-2f
+
+// TESTCASE NUMBER: 16
+val value_16 = .0987654321E-3f
+
+// TESTCASE NUMBER: 17
+val value_17 = .1111e4f
+
+// TESTCASE NUMBER: 18
+val value_18 = .22222E-5F
+
+// TESTCASE NUMBER: 19
+val value_19 = .33333e+6F
+
+// TESTCASE NUMBER: 20
+val value_20 = .444444E7F
+
+// TESTCASE NUMBER: 21
+val value_21 = .5555555e8f
+
+// TESTCASE NUMBER: 22
+val value_22 = <!FLOAT_LITERAL_CONFORMS_ZERO!>.777777777E-308f<!>
+
+// TESTCASE NUMBER: 23
+val value_23 = <!FLOAT_LITERAL_CONFORMS_ZERO!>.99999999999e-309F<!>
+
+// TESTCASE NUMBER: 24
+val value_24 = .000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000f
+
+// TESTCASE NUMBER: 25
+val value_25 = .000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e-000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000F
+
+// TESTCASE NUMBER: 26
+val value_26 = .000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e+000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000f
@@ -0,0 +1,28 @@
+package
+
+public val value_1: kotlin.Float = 0.0.toFloat()
+public val value_10: kotlin.Float = 3.45678.toFloat()
+public val value_11: kotlin.Float = 0.56.toFloat()
+public val value_12: kotlin.Float = 0.65.toFloat()
+public val value_13: kotlin.Float = 7.6540001E9.toFloat()
+public val value_14: kotlin.Float = 8.76543.toFloat()
+public val value_15: kotlin.Float = 0.009876544.toFloat()
+public val value_16: kotlin.Float = 9.8765435E-5.toFloat()
+public val value_17: kotlin.Float = 1111.0.toFloat()
+public val value_18: kotlin.Float = 2.2222E-6.toFloat()
+public val value_19: kotlin.Float = 333330.0.toFloat()
+public val value_2: kotlin.Float = 0.0.toFloat()
+public val value_20: kotlin.Float = 4444440.0.toFloat()
+public val value_21: kotlin.Float = 5.5555552E7.toFloat()
+public val value_22: kotlin.Float = 0.0.toFloat()
+public val value_23: kotlin.Float = 0.0.toFloat()
+public val value_24: kotlin.Float = 0.0.toFloat()
+public val value_25: kotlin.Float = 0.0.toFloat()
+public val value_26: kotlin.Float = 0.0.toFloat()
+public val value_3: kotlin.Float = 0.0.toFloat()
+public val value_4: kotlin.Float = 0.0.toFloat()
+public val value_5: kotlin.Float = 0.0.toFloat()
+public val value_6: kotlin.Float = 0.0.toFloat()
+public val value_7: kotlin.Float = 0.0.toFloat()
+public val value_8: kotlin.Float = 0.0.toFloat()
+public val value_9: kotlin.Float = 0.0.toFloat()
@@ -0,0 +1,84 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 3
+ * SENTENCE: [2] The fraction part may be omitted only together with the decimal point, if the whole-number part and either the exponent part or the type suffix are present.
+ * NUMBER: 1
+ * DESCRIPTION: Simple real literals with omitted a fraction part, suffixed by f/F (float suffix).
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = 0F
+
+// TESTCASE NUMBER: 2
+val value_2 = 00F
+
+// TESTCASE NUMBER: 3
+val value_3 = 000f
+
+// TESTCASE NUMBER: 4
+val value_4 = 0000F
+
+// TESTCASE NUMBER: 5
+val value_5 = 00000000000000000000000000000000000000f
+
+// TESTCASE NUMBER: 6
+val value_6 = 1f
+
+// TESTCASE NUMBER: 7
+val value_7 = 22f
+
+// TESTCASE NUMBER: 8
+val value_8 = 333F
+
+// TESTCASE NUMBER: 9
+val value_9 = 4444f
+
+// TESTCASE NUMBER: 10
+val value_10 = 55555F
+
+// TESTCASE NUMBER: 11
+val value_11 = 666666f
+
+// TESTCASE NUMBER: 12
+val value_12 = 7777777f
+
+// TESTCASE NUMBER: 13
+val value_13 = 88888888F
+
+// TESTCASE NUMBER: 14
+val value_14 = 999999999F
+
+// TESTCASE NUMBER: 15
+val value_15 = 123456789f
+
+// TESTCASE NUMBER: 16
+val value_16 = 2345678F
+
+// TESTCASE NUMBER: 17
+val value_17 = 34567F
+
+// TESTCASE NUMBER: 18
+val value_18 = 456F
+
+// TESTCASE NUMBER: 19
+val value_19 = 5f
+
+// TESTCASE NUMBER: 20
+val value_20 = 654F
+
+// TESTCASE NUMBER: 21
+val value_21 = 76543F
+
+// TESTCASE NUMBER: 22
+val value_22 = 8765432f
+
+// TESTCASE NUMBER: 23
+val value_23 = 987654321F
+
+// TESTCASE NUMBER: 24
+val value_24 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111F<!>
+
+// TESTCASE NUMBER: 25
+val value_25 = <!FLOAT_LITERAL_CONFORMS_ZERO!>0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001f<!>
@@ -0,0 +1,27 @@
+package
+
+public val value_1: kotlin.Float = 0.0.toFloat()
+public val value_10: kotlin.Float = 55555.0.toFloat()
+public val value_11: kotlin.Float = 666666.0.toFloat()
+public val value_12: kotlin.Float = 7777777.0.toFloat()
+public val value_13: kotlin.Float = 8.8888888E7.toFloat()
+public val value_14: kotlin.Float = 1.0E9.toFloat()
+public val value_15: kotlin.Float = 1.23456792E8.toFloat()
+public val value_16: kotlin.Float = 2345678.0.toFloat()
+public val value_17: kotlin.Float = 34567.0.toFloat()
+public val value_18: kotlin.Float = 456.0.toFloat()
+public val value_19: kotlin.Float = 5.0.toFloat()
+public val value_2: kotlin.Float = 0.0.toFloat()
+public val value_20: kotlin.Float = 654.0.toFloat()
+public val value_21: kotlin.Float = 76543.0.toFloat()
+public val value_22: kotlin.Float = 8765432.0.toFloat()
+public val value_23: kotlin.Float = 9.8765434E8.toFloat()
+public val value_24: kotlin.Float = Infinity.toFloat()
+public val value_25: kotlin.Float = 0.0.toFloat()
+public val value_3: kotlin.Float = 0.0.toFloat()
+public val value_4: kotlin.Float = 0.0.toFloat()
+public val value_5: kotlin.Float = 0.0.toFloat()
+public val value_6: kotlin.Float = 1.0.toFloat()
+public val value_7: kotlin.Float = 22.0.toFloat()
+public val value_8: kotlin.Float = 333.0.toFloat()
+public val value_9: kotlin.Float = 4444.0.toFloat()
@@ -0,0 +1,78 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 3
+ * SENTENCE: [2] The fraction part may be omitted only together with the decimal point, if the whole-number part and either the exponent part or the type suffix are present.
+ * NUMBER: 2
+ * DESCRIPTION: Real literals with omitted a fraction part and an exponent mark.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = 0e0
+
+// TESTCASE NUMBER: 2
+val value_2 = 00e00
+
+// TESTCASE NUMBER: 3
+val value_3 = 000E-10
+
+// TESTCASE NUMBER: 4
+val value_4 = 0000e+00000000000
+
+// TESTCASE NUMBER: 5
+val value_5 = 00000000000000000000000000000000000000E1
+
+// TESTCASE NUMBER: 6
+val value_6 = 1e1
+
+// TESTCASE NUMBER: 7
+val value_7 = 22E-1
+
+// TESTCASE NUMBER: 8
+val value_8 = 333e-00000000000
+
+// TESTCASE NUMBER: 9
+val value_9 = <!FLOAT_LITERAL_CONFORMS_ZERO!>4444E-99999999999999999<!>
+
+// TESTCASE NUMBER: 10
+val value_10 = 55555e10
+
+// TESTCASE NUMBER: 11
+val value_11 = 666666E00010
+
+// TESTCASE NUMBER: 12
+val value_12 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>7777777e09090909090<!>
+
+// TESTCASE NUMBER: 13
+val value_13 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>88888888e1234567890<!>
+
+// TESTCASE NUMBER: 14
+val value_14 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>999999999E1234567890<!>
+
+// TESTCASE NUMBER: 15
+val value_15 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>123456789e987654321<!>
+
+// TESTCASE NUMBER: 16
+val value_16 = 2345678E0
+
+// TESTCASE NUMBER: 17
+val value_17 = 34567E+010
+
+// TESTCASE NUMBER: 18
+val value_18 = <!FLOAT_LITERAL_CONFORMS_ZERO!>456e-09876543210<!>
+
+// TESTCASE NUMBER: 19
+val value_19 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>5e505<!>
+
+// TESTCASE NUMBER: 20
+val value_20 = 654e5
+
+// TESTCASE NUMBER: 21
+val value_21 = <!FLOAT_LITERAL_CONFORMS_ZERO!>76543E-91823<!>
+
+// TESTCASE NUMBER: 22
+val value_22 = 8765432e+90
+
+// TESTCASE NUMBER: 23
+val value_23 = 987654321e-1
@@ -0,0 +1,25 @@
+package
+
+public val value_1: kotlin.Double = 0.0.toDouble()
+public val value_10: kotlin.Double = 5.5555E14.toDouble()
+public val value_11: kotlin.Double = 6.66666E15.toDouble()
+public val value_12: kotlin.Double = Infinity.toDouble()
+public val value_13: kotlin.Double = Infinity.toDouble()
+public val value_14: kotlin.Double = Infinity.toDouble()
+public val value_15: kotlin.Double = Infinity.toDouble()
+public val value_16: kotlin.Double = 2345678.0.toDouble()
+public val value_17: kotlin.Double = 3.4567E14.toDouble()
+public val value_18: kotlin.Double = 0.0.toDouble()
+public val value_19: kotlin.Double = Infinity.toDouble()
+public val value_2: kotlin.Double = 0.0.toDouble()
+public val value_20: kotlin.Double = 6.54E7.toDouble()
+public val value_21: kotlin.Double = 0.0.toDouble()
+public val value_22: kotlin.Double = 8.765432E96.toDouble()
+public val value_23: kotlin.Double = 9.87654321E7.toDouble()
+public val value_3: kotlin.Double = 0.0.toDouble()
+public val value_4: kotlin.Double = 0.0.toDouble()
+public val value_5: kotlin.Double = 0.0.toDouble()
+public val value_6: kotlin.Double = 10.0.toDouble()
+public val value_7: kotlin.Double = 2.2.toDouble()
+public val value_8: kotlin.Double = 333.0.toDouble()
+public val value_9: kotlin.Double = 0.0.toDouble()
@@ -0,0 +1,78 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 3
+ * SENTENCE: [2] The fraction part may be omitted only together with the decimal point, if the whole-number part and either the exponent part or the type suffix are present.
+ * NUMBER: 3
+ * DESCRIPTION: Real literals with omitted a fraction part and an exponent mark, suffixed by f/F (float suffix).
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = 0e0f
+
+// TESTCASE NUMBER: 2
+val value_2 = 00e00F
+
+// TESTCASE NUMBER: 3
+val value_3 = 000E-10f
+
+// TESTCASE NUMBER: 4
+val value_4 = 0000e+00000000000f
+
+// TESTCASE NUMBER: 5
+val value_5 = 00000000000000000000000000000000000000E1F
+
+// TESTCASE NUMBER: 6
+val value_6 = 1e1F
+
+// TESTCASE NUMBER: 7
+val value_7 = 22E-1f
+
+// TESTCASE NUMBER: 8
+val value_8 = 333e-00000000000F
+
+// TESTCASE NUMBER: 9
+val value_9 = <!FLOAT_LITERAL_CONFORMS_ZERO!>4444E-99999999999999999f<!>
+
+// TESTCASE NUMBER: 10
+val value_10 = 55555e10f
+
+// TESTCASE NUMBER: 11
+val value_11 = 666666E00010F
+
+// TESTCASE NUMBER: 12
+val value_12 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>7777777e09090909090F<!>
+
+// TESTCASE NUMBER: 13
+val value_13 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>88888888e1234567890F<!>
+
+// TESTCASE NUMBER: 14
+val value_14 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>999999999E1234567890f<!>
+
+// TESTCASE NUMBER: 15
+val value_15 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>123456789e987654321F<!>
+
+// TESTCASE NUMBER: 16
+val value_16 = 2345678E0f
+
+// TESTCASE NUMBER: 17
+val value_17 = 34567E+010f
+
+// TESTCASE NUMBER: 18
+val value_18 = <!FLOAT_LITERAL_CONFORMS_ZERO!>456e-09876543210F<!>
+
+// TESTCASE NUMBER: 19
+val value_19 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>5e505f<!>
+
+// TESTCASE NUMBER: 20
+val value_20 = 654e5F
+
+// TESTCASE NUMBER: 21
+val value_21 = <!FLOAT_LITERAL_CONFORMS_ZERO!>76543E-91823f<!>
+
+// TESTCASE NUMBER: 22
+val value_22 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>8765432e+90F<!>
+
+// TESTCASE NUMBER: 23
+val value_23 = 987654321e-1f
@@ -0,0 +1,25 @@
+package
+
+public val value_1: kotlin.Float = 0.0.toFloat()
+public val value_10: kotlin.Float = 5.55549993E14.toFloat()
+public val value_11: kotlin.Float = 6.66666E15.toFloat()
+public val value_12: kotlin.Float = Infinity.toFloat()
+public val value_13: kotlin.Float = Infinity.toFloat()
+public val value_14: kotlin.Float = Infinity.toFloat()
+public val value_15: kotlin.Float = Infinity.toFloat()
+public val value_16: kotlin.Float = 2345678.0.toFloat()
+public val value_17: kotlin.Float = 3.45670007E14.toFloat()
+public val value_18: kotlin.Float = 0.0.toFloat()
+public val value_19: kotlin.Float = Infinity.toFloat()
+public val value_2: kotlin.Float = 0.0.toFloat()
+public val value_20: kotlin.Float = 6.54E7.toFloat()
+public val value_21: kotlin.Float = 0.0.toFloat()
+public val value_22: kotlin.Float = Infinity.toFloat()
+public val value_23: kotlin.Float = 9.8765432E7.toFloat()
+public val value_3: kotlin.Float = 0.0.toFloat()
+public val value_4: kotlin.Float = 0.0.toFloat()
+public val value_5: kotlin.Float = 0.0.toFloat()
+public val value_6: kotlin.Float = 10.0.toFloat()
+public val value_7: kotlin.Float = 2.2.toFloat()
+public val value_8: kotlin.Float = 333.0.toFloat()
+public val value_9: kotlin.Float = 0.0.toFloat()
@@ -0,0 +1,54 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 4
+ * SENTENCE: [1] The digits of the whole-number part or the fraction part or the exponent may be optionally separated by underscores, but an underscore may not be placed between, before, or after these parts.
+ * NUMBER: 1
+ * DESCRIPTION: Real literals without digits after an exponent mark and with undescores in the different pisitions.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.0_0e-<!>
+
+// TESTCASE NUMBER: 2
+val value_2 = <!FLOAT_LITERAL_OUT_OF_RANGE!>0_0___0E+<!>
+
+// TESTCASE NUMBER: 3
+val value_3 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.0_0e-F<!>
+
+// TESTCASE NUMBER: 4
+val value_4 = <!FLOAT_LITERAL_OUT_OF_RANGE!>0__________________________0E+<!>
+
+// TESTCASE NUMBER: 5
+val value_5 = <!FLOAT_LITERAL_OUT_OF_RANGE!>0_00e<!>
+
+// TESTCASE NUMBER: 6
+val value_6 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.0_0__0___0E<!>
+
+// TESTCASE NUMBER: 7
+val value_7 = <!FLOAT_LITERAL_OUT_OF_RANGE!>0_1e+f<!>
+
+// TESTCASE NUMBER: 8
+val value_8 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.0_0E-<!>
+
+// TESTCASE NUMBER: 9
+val value_9 = <!FLOAT_LITERAL_OUT_OF_RANGE!>0___0__0e<!>
+
+// TESTCASE NUMBER: 10
+val value_10 = <!FLOAT_LITERAL_OUT_OF_RANGE!>0_00_0ef<!>
+
+// TESTCASE NUMBER: 11
+val value_11 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.0_5E-F<!>
+
+// TESTCASE NUMBER: 12
+val value_12 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.8____8888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888_____8888888888888888888e+f<!>
+
+// TESTCASE NUMBER: 13
+val value_13 = <!FLOAT_LITERAL_OUT_OF_RANGE!>0_0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000_0eF<!>
+
+// TESTCASE NUMBER: 14
+val value_14 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_OUT_OF_RANGE!>0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_e-f<!>
+
+// TESTCASE NUMBER: 15
+val value_15 = <!FLOAT_LITERAL_OUT_OF_RANGE!>.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e+<!>
@@ -0,0 +1,17 @@
+package
+
+public val value_1: kotlin.Double
+public val value_10: kotlin.Double
+public val value_11: kotlin.Double
+public val value_12: kotlin.Double
+public val value_13: kotlin.Double
+public val value_14: kotlin.Double
+public val value_15: kotlin.Double
+public val value_2: kotlin.Double
+public val value_3: kotlin.Double
+public val value_4: kotlin.Double
+public val value_5: kotlin.Double
+public val value_6: kotlin.Double
+public val value_7: kotlin.Double
+public val value_8: kotlin.Double
+public val value_9: kotlin.Double
@@ -0,0 +1,54 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 4
+ * SENTENCE: [1] The digits of the whole-number part or the fraction part or the exponent may be optionally separated by underscores, but an underscore may not be placed between, before, or after these parts.
+ * NUMBER: 2
+ * DESCRIPTION: Real literals with underscores at the end.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1= <!ILLEGAL_UNDERSCORE!>.0_0e-0___<!>
+
+// TESTCASE NUMBER: 2
+val value_2 = <!ILLEGAL_UNDERSCORE!>0_0___0E+10_<!>
+
+// TESTCASE NUMBER: 3
+val value_3 = <!ILLEGAL_UNDERSCORE!>.0_0e-0_F<!>
+
+// TESTCASE NUMBER: 4
+val value_4 = <!ILLEGAL_UNDERSCORE!>0__________________________0E+3___<!>
+
+// TESTCASE NUMBER: 5
+val value_5 = <!ILLEGAL_UNDERSCORE!>0_00e1_<!>
+
+// TESTCASE NUMBER: 6
+val value_6 = <!ILLEGAL_UNDERSCORE!>.0_0__0___0E0_______________<!>
+
+// TESTCASE NUMBER: 7
+val value_7 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_CONFORMS_INFINITY!>0_1e+100_____f<!>
+
+// TESTCASE NUMBER: 8
+val value_8 = <!ILLEGAL_UNDERSCORE!>.0_0E-0001___<!>
+
+// TESTCASE NUMBER: 9
+val value_9 = <!ILLEGAL_UNDERSCORE!>0___0__0e4___<!>
+
+// TESTCASE NUMBER: 10
+val value_10 = <!ILLEGAL_UNDERSCORE!>0_00_0e99_f<!>
+
+// TESTCASE NUMBER: 11
+val value_11 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_CONFORMS_ZERO!>.0_5E-93_______F<!>
+
+// TESTCASE NUMBER: 12
+val value_12 = <!ILLEGAL_UNDERSCORE!>.8____8888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888_____8888888888888888888e+5_f<!>
+
+// TESTCASE NUMBER: 13
+val value_13 = <!ILLEGAL_UNDERSCORE!>0_0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000_0e40_F<!>
+
+// TESTCASE NUMBER: 14
+val value_14 = <!ILLEGAL_UNDERSCORE!>0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_0_e-10_f<!>
+
+// TESTCASE NUMBER: 15
+val value_15 = <!ILLEGAL_UNDERSCORE!>.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e+75_<!>
@@ -0,0 +1,17 @@
+package
+
+public val value_1: kotlin.Double = 0.0.toDouble()
+public val value_10: kotlin.Float = 0.0.toFloat()
+public val value_11: kotlin.Float = 0.0.toFloat()
+public val value_12: kotlin.Float = 88888.89.toFloat()
+public val value_13: kotlin.Float = 0.0.toFloat()
+public val value_14: kotlin.Float = 0.0.toFloat()
+public val value_15: kotlin.Double = 0.0.toDouble()
+public val value_2: kotlin.Double = 0.0.toDouble()
+public val value_3: kotlin.Float = 0.0.toFloat()
+public val value_4: kotlin.Double = 0.0.toDouble()
+public val value_5: kotlin.Double = 0.0.toDouble()
+public val value_6: kotlin.Double = 0.0.toDouble()
+public val value_7: kotlin.Float = Infinity.toFloat()
+public val value_8: kotlin.Double = 0.0.toDouble()
+public val value_9: kotlin.Double = 0.0.toDouble()
@@ -0,0 +1,51 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 4
+ * SENTENCE: [2] It also may not be placed before or after the exponent mark symbol.
+ * NUMBER: 1
+ * DESCRIPTION: Real literals with underscores before an exponent mark.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = <!ILLEGAL_UNDERSCORE!>0_E0<!>
+
+// TESTCASE NUMBER: 2
+val value_2 = <!ILLEGAL_UNDERSCORE!>1.1_E2<!>
+
+// TESTCASE NUMBER: 3
+val value_3 = <!ILLEGAL_UNDERSCORE!>.0__0_e-0___0<!>
+
+// TESTCASE NUMBER: 4
+val value_4 = <!ILLEGAL_UNDERSCORE!>0__0.0_____e0f<!>
+
+// TESTCASE NUMBER: 5
+val value_5 = <!ILLEGAL_UNDERSCORE!>9_______9______9_____9____9___9__9_9.0___E-1<!>
+
+// TESTCASE NUMBER: 6
+val value_6 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_CONFORMS_INFINITY!>0_0_0_0_0_0_0_0_0_0.12345678___e+90F<!>
+
+// TESTCASE NUMBER: 7
+val value_7 = <!ILLEGAL_UNDERSCORE!>1_2_3_4_5_6_7_8_9.2_3_4_5_6_7_8_9_e-0<!>
+
+// TESTCASE NUMBER: 8
+val value_8 = <!ILLEGAL_UNDERSCORE!>456.5__e0_6<!>
+
+// TESTCASE NUMBER: 9
+val value_9 = <!ILLEGAL_UNDERSCORE!>5.6_0_E+05F<!>
+
+// TESTCASE NUMBER: 10
+val value_10 = <!ILLEGAL_UNDERSCORE!>6_54.76_5__e-4<!>
+
+// TESTCASE NUMBER: 11
+val value_11 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_CONFORMS_ZERO!>9_____________87654321.0__e-9_8765432_____________1F<!>
+
+// TESTCASE NUMBER: 12
+val value_12 = <!ILLEGAL_UNDERSCORE!>000000000000000000000000000000000000000000000000000000000000000000000000000000000000000___0.000000000000000000000000_e000000000000000000000000000000000000000000000000000000000000000_0F<!>
+
+// TESTCASE NUMBER: 13
+val value_13 = <!ILLEGAL_UNDERSCORE!>0_000000000000000000000000000000000000000000000000000000000000000000000000000000000000000.0____E-0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000<!>
+
+// TESTCASE NUMBER: 14
+val value_14 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_CONFORMS_INFINITY!>9999999999999999999999999999999999999999999_______________999999999999999999999999999999999999999999999.33333333333333333333333333333333333333333333333_333333333333333333333333333333333333333_e3_3f<!>
@@ -0,0 +1,16 @@
+package
+
+public val value_1: kotlin.Double = 0.0.toDouble()
+public val value_10: kotlin.Double = 0.0654765.toDouble()
+public val value_11: kotlin.Float = 0.0.toFloat()
+public val value_12: kotlin.Float = 0.0.toFloat()
+public val value_13: kotlin.Double = 0.0.toDouble()
+public val value_14: kotlin.Float = Infinity.toFloat()
+public val value_2: kotlin.Double = 110.0.toDouble()
+public val value_3: kotlin.Double = 0.0.toDouble()
+public val value_4: kotlin.Float = 0.0.toFloat()
+public val value_5: kotlin.Double = 9999999.9.toDouble()
+public val value_6: kotlin.Float = Infinity.toFloat()
+public val value_7: kotlin.Double = 1.234567892345679E8.toDouble()
+public val value_8: kotlin.Double = 4.565E8.toDouble()
+public val value_9: kotlin.Float = 560000.0.toFloat()
@@ -0,0 +1,96 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 4
+ * SENTENCE: [2] It also may not be placed before or after the exponent mark symbol.
+ * NUMBER: 2
+ * DESCRIPTION: Real literals with underscores after an exponent mark.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = <!ILLEGAL_UNDERSCORE!>0e___0<!>
+
+// TESTCASE NUMBER: 2
+val value_2 = <!ILLEGAL_UNDERSCORE!>.0e_0<!>
+
+// TESTCASE NUMBER: 3
+val value_3 = <!ILLEGAL_UNDERSCORE!>0.1e__2<!>
+
+// TESTCASE NUMBER: 4
+val value_4 = <!ILLEGAL_UNDERSCORE!>2.1e_2<!>
+
+// TESTCASE NUMBER: 5
+val value_5 = <!ILLEGAL_UNDERSCORE!>1E-_2F<!>
+
+// TESTCASE NUMBER: 6
+val value_6 = <!ILLEGAL_UNDERSCORE!>3e+_0f<!>
+
+// TESTCASE NUMBER: 7
+val value_7 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_OUT_OF_RANGE!>5E_<!>-0
+
+// TESTCASE NUMBER: 8
+val value_8 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_OUT_OF_RANGE!>5e_<!>-0F
+
+// TESTCASE NUMBER: 9
+val value_9 = <!ILLEGAL_UNDERSCORE!>5e_00000000<!>
+
+// TESTCASE NUMBER: 10
+val value_10 = <!ILLEGAL_UNDERSCORE!>0.0_0e_1_0f<!>
+
+// TESTCASE NUMBER: 11
+val value_11 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_OUT_OF_RANGE!>0.0_0E____<!>-0__0_0F
+
+// TESTCASE NUMBER: 12
+val value_12 = <!ILLEGAL_UNDERSCORE!>.0_0E__0_0<!>
+
+// TESTCASE NUMBER: 13
+val value_13 = <!ILLEGAL_UNDERSCORE!>00_______________00.0_0e+__0_0<!>
+
+// TESTCASE NUMBER: 14
+val value_14 = <!ILLEGAL_UNDERSCORE!>.0e-__1_0F<!>
+
+// TESTCASE NUMBER: 15
+val value_15 = <!ILLEGAL_UNDERSCORE!>33__3.0e_10__0<!>
+
+// TESTCASE NUMBER: 16
+val value_16 = <!ILLEGAL_UNDERSCORE!>.0E_0______00F<!>
+
+// TESTCASE NUMBER: 17
+val value_17 = <!ILLEGAL_UNDERSCORE!>666_666.0__________________________________________________1E+_2___________________________________________________________________0F<!>
+
+// TESTCASE NUMBER: 18
+val value_18 = <!ILLEGAL_UNDERSCORE!>8888888_8.000e_____0f<!>
+
+// TESTCASE NUMBER: 19
+val value_19 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_OUT_OF_RANGE!>9_______9______9_____9____9___9__9_9.0E__<!>-1
+
+// TESTCASE NUMBER: 20
+val value_20 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_CONFORMS_INFINITY!>0_0_0_0_0_0_0_0_0_0.12345678e+__90F<!>
+
+// TESTCASE NUMBER: 21
+val value_21 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_OUT_OF_RANGE!>1_2_3_4_5_6_7_8_9.2_3_4_5_6_7_8_9e_<!>-<!UNRESOLVED_REFERENCE!>_0<!>
+
+// TESTCASE NUMBER: 22
+val value_22 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_CONFORMS_INFINITY!>.345______________6e_____7_______8f<!>
+
+// TESTCASE NUMBER: 23
+val value_23 = <!ILLEGAL_UNDERSCORE!>.45_6E_7f<!>
+
+// TESTCASE NUMBER: 24
+val value_24 = <!ILLEGAL_UNDERSCORE!>6_54.765e-_4<!>
+
+// TESTCASE NUMBER: 25
+val value_25 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_CONFORMS_INFINITY!>7_6543.8E____7654_3<!>
+
+// TESTCASE NUMBER: 26
+val value_26 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_CONFORMS_INFINITY!>.9E+_______0_____________8765432f<!>
+
+// TESTCASE NUMBER: 27
+val value_27 = <!ILLEGAL_UNDERSCORE!>000000000000000000000000000000000000000000000000000000000000000000000000000000000000000___0.000000000000000000000000e_000000000000000000000000000000000000000000000000000000000000000_0F<!>
+
+// TESTCASE NUMBER: 28
+val value_28 = <!ILLEGAL_UNDERSCORE!>0_000000000000000000000000000000000000000000000000000000000000000000000000000000000000000.0E-_0___000000000000000000000000000000000000000000000000000000000000000000000000000000000000000<!>
+
+// TESTCASE NUMBER: 29
+val value_29 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_CONFORMS_INFINITY!>9999999999999999999999999999999999999999999_______________999999999999999999999999999999999999999999999.33333333333333333333333333333333333333333333333_333333333333333333333333333333333333333e___3_3f<!>
@@ -0,0 +1,31 @@
+package
+
+public val value_1: kotlin.Double = 0.0.toDouble()
+public val value_10: kotlin.Float = 0.0.toFloat()
+public val value_11: kotlin.Double
+public val value_12: kotlin.Double = 0.0.toDouble()
+public val value_13: kotlin.Double = 0.0.toDouble()
+public val value_14: kotlin.Float = 0.0.toFloat()
+public val value_15: kotlin.Double = 3.33E102.toDouble()
+public val value_16: kotlin.Float = 0.0.toFloat()
+public val value_17: kotlin.Float = 6.66666E25.toFloat()
+public val value_18: kotlin.Float = 8.8888888E7.toFloat()
+public val value_19: kotlin.Double
+public val value_2: kotlin.Double = 0.0.toDouble()
+public val value_20: kotlin.Float = Infinity.toFloat()
+public val value_21: [ERROR : Type for 1_2_3_4_5_6_7_8_9.2_3_4_5_6_7_8_9e_-_0]
+public val value_22: kotlin.Float = Infinity.toFloat()
+public val value_23: kotlin.Float = 4560000.0.toFloat()
+public val value_24: kotlin.Double = 0.0654765.toDouble()
+public val value_25: kotlin.Double = Infinity.toDouble()
+public val value_26: kotlin.Float = Infinity.toFloat()
+public val value_27: kotlin.Float = 0.0.toFloat()
+public val value_28: kotlin.Double = 0.0.toDouble()
+public val value_29: kotlin.Float = Infinity.toFloat()
+public val value_3: kotlin.Double = 10.0.toDouble()
+public val value_4: kotlin.Double = 210.0.toDouble()
+public val value_5: kotlin.Float = 0.01.toFloat()
+public val value_6: kotlin.Float = 3.0.toFloat()
+public val value_7: kotlin.Double
+public val value_8: kotlin.Double
+public val value_9: kotlin.Double = 5.0.toDouble()
@@ -0,0 +1,87 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (NEGATIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 4
+ * SENTENCE: [2] It also may not be placed before or after the exponent mark symbol.
+ * NUMBER: 3
+ * DESCRIPTION: Real literals with underscores around an exponent mark.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = <!ILLEGAL_UNDERSCORE!>.0__e_0<!>
+
+// TESTCASE NUMBER: 2
+val value_2 = <!ILLEGAL_UNDERSCORE!>2.1_e_2<!>
+
+// TESTCASE NUMBER: 3
+val value_3 = <!ILLEGAL_UNDERSCORE!>1_E-_2F<!>
+
+// TESTCASE NUMBER: 4
+val value_4 = <!ILLEGAL_UNDERSCORE!>3_e+_0f<!>
+
+// TESTCASE NUMBER: 5
+val value_5 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_OUT_OF_RANGE!>5_E_<!>-0
+
+// TESTCASE NUMBER: 6
+val value_6 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_OUT_OF_RANGE!>5_e_<!>-0F
+
+// TESTCASE NUMBER: 7
+val value_7 = <!ILLEGAL_UNDERSCORE!>5_e_00000000<!>
+
+// TESTCASE NUMBER: 8
+val value_8 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_OUT_OF_RANGE!>0.0_0___E____<!>-0__0_0F
+
+// TESTCASE NUMBER: 9
+val value_9 = <!ILLEGAL_UNDERSCORE!>0__0.0_____e___0f<!>
+
+// TESTCASE NUMBER: 10
+val value_10 = <!ILLEGAL_UNDERSCORE!>.0_0_E__0_0<!>
+
+// TESTCASE NUMBER: 11
+val value_11 = <!ILLEGAL_UNDERSCORE!>00_______________00.0_0__e+__0_0<!>
+
+// TESTCASE NUMBER: 12
+val value_12 = <!ILLEGAL_UNDERSCORE!>33__3.0_e_10__0<!>
+
+// TESTCASE NUMBER: 13
+val value_13 = <!ILLEGAL_UNDERSCORE!>.0_E_0______00F<!>
+
+// TESTCASE NUMBER: 14
+val value_14 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_OUT_OF_RANGE!>5_________555_________5.0____e____<!>-<!UNRESOLVED_REFERENCE!>____9<!>
+
+// TESTCASE NUMBER: 15
+val value_15 = <!ILLEGAL_UNDERSCORE!>666_666.0__________________________________________________1_E+_2___________________________________________________________________0F<!>
+
+// TESTCASE NUMBER: 16
+val value_16 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_OUT_OF_RANGE!>9_______9______9_____9____9___9__9_9.0___E__<!>-1
+
+// TESTCASE NUMBER: 17
+val value_17 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_CONFORMS_INFINITY!>0_0_0_0_0_0_0_0_0_0.12345678___e+__90F<!>
+
+// TESTCASE NUMBER: 18
+val value_18 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_OUT_OF_RANGE!>1_2_3_4_5_6_7_8_9.2_3_4_5_6_7_8_9_e_<!>-<!UNRESOLVED_REFERENCE!>_0<!>
+
+// TESTCASE NUMBER: 19
+val value_19 = <!ILLEGAL_UNDERSCORE!>.45_6_E_7f<!>
+
+// TESTCASE NUMBER: 20
+val value_20 = <!ILLEGAL_UNDERSCORE!>456.5__e_0_6<!>
+
+// TESTCASE NUMBER: 21
+val value_21 = <!ILLEGAL_UNDERSCORE!>6_54.76_5_e-_4<!>
+
+// TESTCASE NUMBER: 22
+val value_22 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_CONFORMS_INFINITY!>7_6543.8____E____7654_3<!>
+
+// TESTCASE NUMBER: 23
+val value_23 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_OUT_OF_RANGE!>9_____________87654321.0__e__<!>-9_8765432_____________1F
+
+// TESTCASE NUMBER: 24
+val value_24 = <!ILLEGAL_UNDERSCORE!>000000000000000000000000000000000000000000000000000000000000000000000000000000000000000___0.000000000000000000000000_e_000000000000000000000000000000000000000000000000000000000000000_0F<!>
+
+// TESTCASE NUMBER: 25
+val value_25 = <!ILLEGAL_UNDERSCORE!>0_000000000000000000000000000000000000000000000000000000000000000000000000000000000000000.0_E-_0___000000000000000000000000000000000000000000000000000000000000000000000000000000000000000<!>
+
+// TESTCASE NUMBER: 26
+val value_26 = <!ILLEGAL_UNDERSCORE, FLOAT_LITERAL_CONFORMS_INFINITY!>9999999999999999999999999999999999999999999_______________999999999999999999999999999999999999999999999.33333333333333333333333333333333333333333333333_333333333333333333333333333333333333333_e_3_3f<!>
@@ -0,0 +1,28 @@
+package
+
+public val value_1: kotlin.Double = 0.0.toDouble()
+public val value_10: kotlin.Double = 0.0.toDouble()
+public val value_11: kotlin.Double = 0.0.toDouble()
+public val value_12: kotlin.Double = 3.33E102.toDouble()
+public val value_13: kotlin.Float = 0.0.toFloat()
+public val value_14: [ERROR : Type for 5_________555_________5.0____e____-____9]
+public val value_15: kotlin.Float = 6.66666E25.toFloat()
+public val value_16: kotlin.Double
+public val value_17: kotlin.Float = Infinity.toFloat()
+public val value_18: [ERROR : Type for 1_2_3_4_5_6_7_8_9.2_3_4_5_6_7_8_9_e_-_0]
+public val value_19: kotlin.Float = 4560000.0.toFloat()
+public val value_2: kotlin.Double = 210.0.toDouble()
+public val value_20: kotlin.Double = 4.565E8.toDouble()
+public val value_21: kotlin.Double = 0.0654765.toDouble()
+public val value_22: kotlin.Double = Infinity.toDouble()
+public val value_23: kotlin.Double
+public val value_24: kotlin.Float = 0.0.toFloat()
+public val value_25: kotlin.Double = 0.0.toDouble()
+public val value_26: kotlin.Float = Infinity.toFloat()
+public val value_3: kotlin.Float = 0.01.toFloat()
+public val value_4: kotlin.Float = 3.0.toFloat()
+public val value_5: kotlin.Double
+public val value_6: kotlin.Double
+public val value_7: kotlin.Double = 5.0.toDouble()
+public val value_8: kotlin.Double
+public val value_9: kotlin.Float = 0.0.toFloat()
@@ -0,0 +1,90 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 4
+ * SENTENCE: [1] The digits of the whole-number part or the fraction part or the exponent may be optionally separated by underscores, but an underscore may not be placed between, before, or after these parts.
+ * NUMBER: 1
+ * DESCRIPTION: Real literals with underscores in a whole-number part and a fraction part.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = 0.0_0
+
+// TESTCASE NUMBER: 2
+val value_2 = 0.0__0___0
+
+// TESTCASE NUMBER: 3
+val value_3 = 0.0_0__0_0
+
+// TESTCASE NUMBER: 4
+val value_4 = 0__0.0
+
+// TESTCASE NUMBER: 5
+val value_5 = 0_0_0.0______0
+
+// TESTCASE NUMBER: 6
+val value_6 = 00_______________00.0_0_0
+
+// TESTCASE NUMBER: 7
+val value_7 = 2_2.0_0
+
+// TESTCASE NUMBER: 8
+val value_8 = 33__3.00__0
+
+// TESTCASE NUMBER: 9
+val value_9 = 4_44____4.00______00
+
+// TESTCASE NUMBER: 10
+val value_10 = 5_________555_________5.0
+
+// TESTCASE NUMBER: 11
+val value_11 = 666_666.0_____________________________________________________________________________________________________________________0
+
+// TESTCASE NUMBER: 12
+val value_12 = 7777777.0_0_0
+
+// TESTCASE NUMBER: 13
+val value_13 = 8888888_8.0000
+
+// TESTCASE NUMBER: 14
+val value_14 = 9_______9______9_____9____9___9__9_9.0
+
+// TESTCASE NUMBER: 15
+val value_15 = 0_0_0_0_0_0_0_0_0_0.1234567890
+
+// TESTCASE NUMBER: 16
+val value_16 = 1_2_3_4_5_6_7_8_9.2_3_4_5_6_7_8_9
+
+// TESTCASE NUMBER: 17
+val value_17 = 234_5_678.345______________678
+
+// TESTCASE NUMBER: 18
+val value_18 = 3_456_7.4567
+
+// TESTCASE NUMBER: 19
+val value_19 = 456.5_6
+
+// TESTCASE NUMBER: 20
+val value_20 = 5.6_5
+
+// TESTCASE NUMBER: 21
+val value_21 = 6_54.7654
+
+// TESTCASE NUMBER: 22
+val value_22 = 7_6543.87654_3
+
+// TESTCASE NUMBER: 23
+val value_23 = 876543_____________2.9_____________8765432
+
+// TESTCASE NUMBER: 24
+val value_24 = 9_____________87654321.098765432_____________1
+
+// TESTCASE NUMBER: 25
+val value_25 = 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000___0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000_0
+
+// TESTCASE NUMBER: 26
+val value_26 = <!FLOAT_LITERAL_CONFORMS_ZERO!>0_000000000000000000000000000000000000000000000000000000000000000000000000_000000000000000000000000000000000000000000000000000000000000000000000000_000000000000000000000000000000000000000000000000000000000000000000000000_000000000000000000000000000000000000000000000000000000000000000000000000000000000000000.0___0000000000000000000000000000000000000000000000000000000000000000000000000000000___0000000000000000000000000000000000000000000000000000000000000000000000000000000___0000000000000000000000000000000000000000000000000000000000000000000000000000000___0000000000000000000000000000000000000000000000000000000000000000000000000000000___0000000000000000000000000000000000000000000000000000000000000000000000000000000___0000000000000000000000000000000000000000000000000000000000000000000000000000000000000001<!>
+
+// TESTCASE NUMBER: 27
+val value_27 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>9999999999999999999999999999999999999999999_______________99999999999999999999999999999_______________99999999999999999999999999999_______________99999999999999999999999999999_______________999999999999999999999999999999999999999999999_______________99999999999999999999999999999_______________99999999999999999999999999999_______________999999999999999999999999999999999999999999999_______________99999999999999999999999999999_______________99999999999999999999999999999_______________999999999999999999999999999999999999999999999.33333333333333333333333333333333333333333333333_33333333333333333333333333333333333333333<!>
@@ -0,0 +1,29 @@
+package
+
+public val value_1: kotlin.Double = 0.0.toDouble()
+public val value_10: kotlin.Double = 55555.0.toDouble()
+public val value_11: kotlin.Double = 666666.0.toDouble()
+public val value_12: kotlin.Double = 7777777.0.toDouble()
+public val value_13: kotlin.Double = 8.8888888E7.toDouble()
+public val value_14: kotlin.Double = 9.9999999E7.toDouble()
+public val value_15: kotlin.Double = 0.123456789.toDouble()
+public val value_16: kotlin.Double = 1.234567892345679E8.toDouble()
+public val value_17: kotlin.Double = 2345678.345678.toDouble()
+public val value_18: kotlin.Double = 34567.4567.toDouble()
+public val value_19: kotlin.Double = 456.56.toDouble()
+public val value_2: kotlin.Double = 0.0.toDouble()
+public val value_20: kotlin.Double = 5.65.toDouble()
+public val value_21: kotlin.Double = 654.7654.toDouble()
+public val value_22: kotlin.Double = 76543.876543.toDouble()
+public val value_23: kotlin.Double = 8765432.98765432.toDouble()
+public val value_24: kotlin.Double = 9.876543210987654E8.toDouble()
+public val value_25: kotlin.Double = 0.0.toDouble()
+public val value_26: kotlin.Double = 0.0.toDouble()
+public val value_27: kotlin.Double = Infinity.toDouble()
+public val value_3: kotlin.Double = 0.0.toDouble()
+public val value_4: kotlin.Double = 0.0.toDouble()
+public val value_5: kotlin.Double = 0.0.toDouble()
+public val value_6: kotlin.Double = 0.0.toDouble()
+public val value_7: kotlin.Double = 22.0.toDouble()
+public val value_8: kotlin.Double = 333.0.toDouble()
+public val value_9: kotlin.Double = 4444.0.toDouble()
@@ -0,0 +1,90 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 4
+ * SENTENCE: [1] The digits of the whole-number part or the fraction part or the exponent may be optionally separated by underscores, but an underscore may not be placed between, before, or after these parts.
+ * NUMBER: 2
+ * DESCRIPTION: Real literals suffixed by f/F (float suffix) with underscores in a whole-number part and a fraction part.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = 0.0_0f
+
+// TESTCASE NUMBER: 2
+val value_2 = 0.0__0___0F
+
+// TESTCASE NUMBER: 3
+val value_3 = 0.0_0__0_0f
+
+// TESTCASE NUMBER: 4
+val value_4 = 0__0.0F
+
+// TESTCASE NUMBER: 5
+val value_5 = 0_0_0.0______0f
+
+// TESTCASE NUMBER: 6
+val value_6 = 00_______________00.0_0_0F
+
+// TESTCASE NUMBER: 7
+val value_7 = 2_2.0_0F
+
+// TESTCASE NUMBER: 8
+val value_8 = 33__3.00__0F
+
+// TESTCASE NUMBER: 9
+val value_9 = 4_44____4.00______00f
+
+// TESTCASE NUMBER: 10
+val value_10 = 5_________555_________5.0F
+
+// TESTCASE NUMBER: 11
+val value_11 = 666_666.0_____________________________________________________________________________________________________________________0F
+
+// TESTCASE NUMBER: 12
+val value_12 = 7777777.0_0_0f
+
+// TESTCASE NUMBER: 13
+val value_13 = 8888888_8.0000F
+
+// TESTCASE NUMBER: 14
+val value_14 = 9_______9______9_____9____9___9__9_9.0f
+
+// TESTCASE NUMBER: 15
+val value_15 = 0_0_0_0_0_0_0_0_0_0.1234567890f
+
+// TESTCASE NUMBER: 16
+val value_16 = 1_2_3_4_5_6_7_8_9.2_3_4_5_6_7_8_9F
+
+// TESTCASE NUMBER: 17
+val value_17 = 234_5_678.345______________678F
+
+// TESTCASE NUMBER: 18
+val value_18 = 3_456_7.4567f
+
+// TESTCASE NUMBER: 19
+val value_19 = 456.5_6F
+
+// TESTCASE NUMBER: 20
+val value_20 = 5.6_5f
+
+// TESTCASE NUMBER: 21
+val value_21 = 6_54.7654F
+
+// TESTCASE NUMBER: 22
+val value_22 = 7_6543.87654_3F
+
+// TESTCASE NUMBER: 23
+val value_23 = 876543_____________2.9_____________8765432f
+
+// TESTCASE NUMBER: 24
+val value_24 = 9_____________87654321.098765432_____________1F
+
+// TESTCASE NUMBER: 25
+val value_25 = 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000___0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000_0F
+
+// TESTCASE NUMBER: 26
+val value_26 = <!FLOAT_LITERAL_CONFORMS_ZERO!>0_000000000000000000000000000000000000000000000000000000000000000000000000000000000000000.0___0000000000000000000000000000000000000000000000000000000___0000000000000000000000000000000000000000000000000000000___0000000000000000000000000000000000000000000000000000000000000000000000000000000000000001f<!>
+
+// TESTCASE NUMBER: 27
+val value_27 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>9999999999999999999999999999999999999999999_______________999999999999999999999999999999999999999999999.33333333333333333333333333333333333333333333333_33333333333333333333333333333333333333333f<!>
@@ -0,0 +1,29 @@
+package
+
+public val value_1: kotlin.Float = 0.0.toFloat()
+public val value_10: kotlin.Float = 55555.0.toFloat()
+public val value_11: kotlin.Float = 666666.0.toFloat()
+public val value_12: kotlin.Float = 7777777.0.toFloat()
+public val value_13: kotlin.Float = 8.8888888E7.toFloat()
+public val value_14: kotlin.Float = 1.0E8.toFloat()
+public val value_15: kotlin.Float = 0.12345679.toFloat()
+public val value_16: kotlin.Float = 1.23456792E8.toFloat()
+public val value_17: kotlin.Float = 2345678.2.toFloat()
+public val value_18: kotlin.Float = 34567.457.toFloat()
+public val value_19: kotlin.Float = 456.56.toFloat()
+public val value_2: kotlin.Float = 0.0.toFloat()
+public val value_20: kotlin.Float = 5.65.toFloat()
+public val value_21: kotlin.Float = 654.7654.toFloat()
+public val value_22: kotlin.Float = 76543.875.toFloat()
+public val value_23: kotlin.Float = 8765433.0.toFloat()
+public val value_24: kotlin.Float = 9.8765434E8.toFloat()
+public val value_25: kotlin.Float = 0.0.toFloat()
+public val value_26: kotlin.Float = 0.0.toFloat()
+public val value_27: kotlin.Float = Infinity.toFloat()
+public val value_3: kotlin.Float = 0.0.toFloat()
+public val value_4: kotlin.Float = 0.0.toFloat()
+public val value_5: kotlin.Float = 0.0.toFloat()
+public val value_6: kotlin.Float = 0.0.toFloat()
+public val value_7: kotlin.Float = 22.0.toFloat()
+public val value_8: kotlin.Float = 333.0.toFloat()
+public val value_9: kotlin.Float = 4444.0.toFloat()
@@ -0,0 +1,90 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 4
+ * SENTENCE: [1] The digits of the whole-number part or the fraction part or the exponent may be optionally separated by underscores, but an underscore may not be placed between, before, or after these parts.
+ * NUMBER: 3
+ * DESCRIPTION: Real literals suffixed by f/F (float suffix) with an exponent mark and underscores in a whole-number part, a fraction part and an exponent part.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = 0.0_0e1_0f
+
+// TESTCASE NUMBER: 2
+val value_2 = 0.0__0e-0___0
+
+// TESTCASE NUMBER: 3
+val value_3 = 0.0_0E-0__0_0F
+
+// TESTCASE NUMBER: 4
+val value_4 = 0__0.0e0f
+
+// TESTCASE NUMBER: 5
+val value_5 = 0_0_0.0_0E0_0
+
+// TESTCASE NUMBER: 6
+val value_6 = 00_______________00.0_0e+0_0
+
+// TESTCASE NUMBER: 7
+val value_7 = 2_2.0e1_0F
+
+// TESTCASE NUMBER: 8
+val value_8 = 33__3.0e10__0
+
+// TESTCASE NUMBER: 9
+val value_9 = 4_44____4.0E0______00F
+
+// TESTCASE NUMBER: 10
+val value_10 = 5_________555_________5.0e-9
+
+// TESTCASE NUMBER: 11
+val value_11 = 666_666.0__________________________________________________1E+2___________________________________________________________________0F
+
+// TESTCASE NUMBER: 12
+val value_12 = 7777777.0_0e3_0
+
+// TESTCASE NUMBER: 13
+val value_13 = 8888888_8.000e0f
+
+// TESTCASE NUMBER: 14
+val value_14 = 9_______9______9_____9____9___9__9_9.0E-1
+
+// TESTCASE NUMBER: 15
+val value_15 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>0_0_0_0_0_0_0_0_0_0.12345678e+90F<!>
+
+// TESTCASE NUMBER: 16
+val value_16 = 1_2_3_4_5_6_7_8_9.2_3_4_5_6_7_8_9e-0
+
+// TESTCASE NUMBER: 17
+val value_17 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>234_5_678.345______________6e7_______8f<!>
+
+// TESTCASE NUMBER: 18
+val value_18 = 3_456_7.45_6E7f
+
+// TESTCASE NUMBER: 19
+val value_19 = 456.5e0_6
+
+// TESTCASE NUMBER: 20
+val value_20 = 5.6_0E+05F
+
+// TESTCASE NUMBER: 21
+val value_21 = 6_54.76_5e-4
+
+// TESTCASE NUMBER: 22
+val value_22 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>7_6543.8E7654_3<!>
+
+// TESTCASE NUMBER: 23
+val value_23 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>876543_____________2.9E+0_____________8765432f<!>
+
+// TESTCASE NUMBER: 24
+val value_24 = <!FLOAT_LITERAL_CONFORMS_ZERO!>9_____________87654321.0e-9_8765432_____________1F<!>
+
+// TESTCASE NUMBER: 25
+val value_25 = 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000___0.000000000000000000000000e000000000000000000000000000000000000000000000000000000000000000_0F
+
+// TESTCASE NUMBER: 26
+val value_26 = 0_000000000000000000000000000000000000000000000000000000000000000000000000000000000000000.0E-0___000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
+
+// TESTCASE NUMBER: 27
+val value_27 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>9999999999999999999999999999999999999999999_______________999999999999999999999999999999999999999999999.33333333333333333333333333333333333333333333333_333333333333333333333333333333333333333e3_3f<!>
@@ -0,0 +1,29 @@
+package
+
+public val value_1: kotlin.Float = 0.0.toFloat()
+public val value_10: kotlin.Double = 5.5555E-5.toDouble()
+public val value_11: kotlin.Float = 6.66666E25.toFloat()
+public val value_12: kotlin.Double = 7.777777E36.toDouble()
+public val value_13: kotlin.Float = 8.8888888E7.toFloat()
+public val value_14: kotlin.Double = 9999999.9.toDouble()
+public val value_15: kotlin.Float = Infinity.toFloat()
+public val value_16: kotlin.Double = 1.234567892345679E8.toDouble()
+public val value_17: kotlin.Float = Infinity.toFloat()
+public val value_18: kotlin.Float = 3.45674547E11.toFloat()
+public val value_19: kotlin.Double = 4.565E8.toDouble()
+public val value_2: kotlin.Double = 0.0.toDouble()
+public val value_20: kotlin.Float = 560000.0.toFloat()
+public val value_21: kotlin.Double = 0.0654765.toDouble()
+public val value_22: kotlin.Double = Infinity.toDouble()
+public val value_23: kotlin.Float = Infinity.toFloat()
+public val value_24: kotlin.Float = 0.0.toFloat()
+public val value_25: kotlin.Float = 0.0.toFloat()
+public val value_26: kotlin.Double = 0.0.toDouble()
+public val value_27: kotlin.Float = Infinity.toFloat()
+public val value_3: kotlin.Float = 0.0.toFloat()
+public val value_4: kotlin.Float = 0.0.toFloat()
+public val value_5: kotlin.Double = 0.0.toDouble()
+public val value_6: kotlin.Double = 0.0.toDouble()
+public val value_7: kotlin.Float = 2.19999994E11.toFloat()
+public val value_8: kotlin.Double = 3.33E102.toDouble()
+public val value_9: kotlin.Float = 4444.0.toFloat()
@@ -0,0 +1,96 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 4
+ * SENTENCE: [1] The digits of the whole-number part or the fraction part or the exponent may be optionally separated by underscores, but an underscore may not be placed between, before, or after these parts.
+ * NUMBER: 4
+ * DESCRIPTION: Real literals with an omitted whole-number part and underscores in a whole-number part, a fraction part and an exponent part.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = .0_0
+
+// TESTCASE NUMBER: 2
+val value_2 = .0_0f
+
+// TESTCASE NUMBER: 3
+val value_3 = .0_0e-0_0
+
+// TESTCASE NUMBER: 4
+val value_4 = .0_0e0_0F
+
+// TESTCASE NUMBER: 5
+val value_5 = .0__0F
+
+// TESTCASE NUMBER: 6
+val value_6 = .0_0E+0__0_0F
+
+// TESTCASE NUMBER: 7
+val value_7 = .0e0f
+
+// TESTCASE NUMBER: 8
+val value_8 = .0_0E0_0
+
+// TESTCASE NUMBER: 9
+val value_9 = .0e1_0F
+
+// TESTCASE NUMBER: 10
+val value_10 = .0e10__0
+
+// TESTCASE NUMBER: 11
+val value_11 = .00______00F
+
+// TESTCASE NUMBER: 12
+val value_12 = .0___9
+
+// TESTCASE NUMBER: 13
+val value_13 = .0__________________________________________________12___________________________________________________________________0F
+
+// TESTCASE NUMBER: 14
+val value_14 = .0_0e+3_0
+
+// TESTCASE NUMBER: 15
+val value_15 = .000e0f
+
+// TESTCASE NUMBER: 16
+val value_16 = .9_______9______9_____9____9___9__9_90E-1
+
+// TESTCASE NUMBER: 17
+val value_17 = .12345678_90
+
+// TESTCASE NUMBER: 18
+val value_18 = .1_2_3_4_5_6_7_8_9_0
+
+// TESTCASE NUMBER: 19
+val value_19 = <!FLOAT_LITERAL_CONFORMS_ZERO!>.345______________6e-7_______8f<!>
+
+// TESTCASE NUMBER: 20
+val value_20 = .45_67f
+
+// TESTCASE NUMBER: 21
+val value_21 = .5e+0_6
+
+// TESTCASE NUMBER: 22
+val value_22 = .6_0______________05F
+
+// TESTCASE NUMBER: 23
+val value_23 = .76_5e4
+
+// TESTCASE NUMBER: 24
+val value_24 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>.8E7654_3<!>
+
+// TESTCASE NUMBER: 25
+val value_25 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>.9E0_____________8765432f<!>
+
+// TESTCASE NUMBER: 26
+val value_26 = .09_8765432_____________1F
+
+// TESTCASE NUMBER: 27
+val value_27 = .000000000000000000000000e-000000000000000000000000000000000000000000000000000000000000000_0F
+
+// TESTCASE NUMBER: 28
+val value_28 = .00___000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
+
+// TESTCASE NUMBER: 29
+val value_29 = .33333333333333333333333333333333333333333333333_333333333333333333333333333333333333333e3_3f
@@ -0,0 +1,31 @@
+package
+
+public val value_1: kotlin.Double = 0.0.toDouble()
+public val value_10: kotlin.Double = 0.0.toDouble()
+public val value_11: kotlin.Float = 0.0.toFloat()
+public val value_12: kotlin.Double = 0.09.toDouble()
+public val value_13: kotlin.Float = 0.012.toFloat()
+public val value_14: kotlin.Double = 0.0.toDouble()
+public val value_15: kotlin.Float = 0.0.toFloat()
+public val value_16: kotlin.Double = 0.099999999.toDouble()
+public val value_17: kotlin.Double = 0.123456789.toDouble()
+public val value_18: kotlin.Double = 0.123456789.toDouble()
+public val value_19: kotlin.Float = 0.0.toFloat()
+public val value_2: kotlin.Float = 0.0.toFloat()
+public val value_20: kotlin.Float = 0.4567.toFloat()
+public val value_21: kotlin.Double = 500000.0.toDouble()
+public val value_22: kotlin.Float = 0.6005.toFloat()
+public val value_23: kotlin.Double = 7650.0.toDouble()
+public val value_24: kotlin.Double = Infinity.toDouble()
+public val value_25: kotlin.Float = Infinity.toFloat()
+public val value_26: kotlin.Float = 0.09876543.toFloat()
+public val value_27: kotlin.Float = 0.0.toFloat()
+public val value_28: kotlin.Double = 0.0.toDouble()
+public val value_29: kotlin.Float = 3.3333334E32.toFloat()
+public val value_3: kotlin.Double = 0.0.toDouble()
+public val value_4: kotlin.Float = 0.0.toFloat()
+public val value_5: kotlin.Float = 0.0.toFloat()
+public val value_6: kotlin.Float = 0.0.toFloat()
+public val value_7: kotlin.Float = 0.0.toFloat()
+public val value_8: kotlin.Double = 0.0.toDouble()
+public val value_9: kotlin.Float = 0.0.toFloat()
@@ -0,0 +1,102 @@
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 4
+ * SENTENCE: [1] The digits of the whole-number part or the fraction part or the exponent may be optionally separated by underscores, but an underscore may not be placed between, before, or after these parts.
+ * NUMBER: 5
+ * DESCRIPTION: Real literals with an omitted fraction part and underscores in a whole-number part, a fraction part and an exponent part.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = 0_0F
+
+// TESTCASE NUMBER: 2
+val value_2 = 0_0E-0_0F
+
+// TESTCASE NUMBER: 3
+val value_3 = 0_0E-0_0
+
+// TESTCASE NUMBER: 4
+val value_4 = 0_0____0f
+
+// TESTCASE NUMBER: 5
+val value_5 = 0_0____0e-0f
+
+// TESTCASE NUMBER: 6
+val value_6 = 0_0_0_0F
+
+// TESTCASE NUMBER: 7
+val value_7 = 0_0_0_0E-0_0_0_0F
+
+// TESTCASE NUMBER: 8
+val value_8 = 0000000000000000000_______________0000000000000000000f
+
+// TESTCASE NUMBER: 9
+val value_9 = 0000000000000000000_______________0000000000000000000e+0f
+
+// TESTCASE NUMBER: 10
+val value_10 = 0000000000000000000_______________0000000000000000000E-0
+
+// TESTCASE NUMBER: 11
+val value_11 = 2___2e-2___2f
+
+// TESTCASE NUMBER: 12
+val value_12 = 33_3E0_0F
+
+// TESTCASE NUMBER: 13
+val value_13 = <!FLOAT_LITERAL_CONFORMS_ZERO!>4_444E-4_444f<!>
+
+// TESTCASE NUMBER: 14
+val value_14 = 55_5_55F
+
+// TESTCASE NUMBER: 15
+val value_15 = 666____________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________666f
+
+// TESTCASE NUMBER: 16
+val value_16 = 666____________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________666E-10
+
+// TESTCASE NUMBER: 17
+val value_17 = 7_7_7_7_7_7_7f
+
+// TESTCASE NUMBER: 18
+val value_18 = <!FLOAT_LITERAL_CONFORMS_ZERO!>8888888________8e-9000000_0<!>
+
+// TESTCASE NUMBER: 19
+val value_19 = 9________9_______9______9_____9____9___9__9_9F
+
+// TESTCASE NUMBER: 20
+val value_20 = 1__2_3__4____5_____6__7_89f
+
+// TESTCASE NUMBER: 21
+val value_21 = 2__34567e8
+
+// TESTCASE NUMBER: 22
+val value_22 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>345_6E+9_7F<!>
+
+// TESTCASE NUMBER: 23
+val value_23 = <!FLOAT_LITERAL_CONFORMS_ZERO!>45_____________________________________________________________6E-12313413_4<!>
+
+// TESTCASE NUMBER: 24
+val value_24 = 5_______________________________________________________________________________________________________________________________________________________________________________________5f
+
+// TESTCASE NUMBER: 25
+val value_25 = 6__________________________________________________54F
+
+// TESTCASE NUMBER: 26
+val value_26 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>76_5___4e3___________33333333<!>
+
+// TESTCASE NUMBER: 27
+val value_27 = 876543_____________________________________________________________2f
+
+// TESTCASE NUMBER: 28
+val value_28 = 9_8__7654__3_21F
+
+// TESTCASE NUMBER: 29
+val value_29 = 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e0__0F
+
+// TESTCASE NUMBER: 30
+val value_30 = 0___000000000000000000000000000000000000000000000000000000000000000000000000000000000000000f
+
+// TESTCASE NUMBER: 31
+val value_31 = 33333333333333333333333333333333333333333333333_33333333333333333333333333333333333333333E-1_0_0
@@ -0,0 +1,33 @@
+package
+
+public val value_1: kotlin.Float = 0.0.toFloat()
+public val value_10: kotlin.Double = 0.0.toDouble()
+public val value_11: kotlin.Float = 2.2E-21.toFloat()
+public val value_12: kotlin.Float = 333.0.toFloat()
+public val value_13: kotlin.Float = 0.0.toFloat()
+public val value_14: kotlin.Float = 55555.0.toFloat()
+public val value_15: kotlin.Float = 666666.0.toFloat()
+public val value_16: kotlin.Double = 6.66666E-5.toDouble()
+public val value_17: kotlin.Float = 7777777.0.toFloat()
+public val value_18: kotlin.Double = 0.0.toDouble()
+public val value_19: kotlin.Float = 1.0E9.toFloat()
+public val value_2: kotlin.Float = 0.0.toFloat()
+public val value_20: kotlin.Float = 1.23456792E8.toFloat()
+public val value_21: kotlin.Double = 2.34567E13.toDouble()
+public val value_22: kotlin.Float = Infinity.toFloat()
+public val value_23: kotlin.Double = 0.0.toDouble()
+public val value_24: kotlin.Float = 55.0.toFloat()
+public val value_25: kotlin.Float = 654.0.toFloat()
+public val value_26: kotlin.Double = Infinity.toDouble()
+public val value_27: kotlin.Float = 8765432.0.toFloat()
+public val value_28: kotlin.Float = 9.8765434E8.toFloat()
+public val value_29: kotlin.Float = 0.0.toFloat()
+public val value_3: kotlin.Double = 0.0.toDouble()
+public val value_30: kotlin.Float = 0.0.toFloat()
+public val value_31: kotlin.Double = 3.3333333333333334E-13.toDouble()
+public val value_4: kotlin.Float = 0.0.toFloat()
+public val value_5: kotlin.Float = 0.0.toFloat()
+public val value_6: kotlin.Float = 0.0.toFloat()
+public val value_7: kotlin.Float = 0.0.toFloat()
+public val value_8: kotlin.Float = 0.0.toFloat()
+public val value_9: kotlin.Float = 0.0.toFloat()
@@ -0,0 +1,53 @@
+// !CHECK_TYPE
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 5
+ * SENTENCE: [1] A real literal without the type suffix has type kotlin.Double, a real literal with the type suffix has type kotlin.Float.
+ * NUMBER: 1
+ * DESCRIPTION: A type checking of a simple real literal (with/without underscores).
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = 0.1 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 2
+val value_2 = 0.1234567890 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 3
+val value_3 = -0.99___99999999 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 4
+val value_4 = -1111111111.9_9_9_9_9_9_9_9_9_9 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 5
+val value_5 = 6_6_6_6_6_6_6_6_6_6.0000000000 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 6
+val value_6 = 66666666666666666666666666666666666666666666666666.000000000000000000000000000_____000000000000000000000001 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 7
+val value_7 = 0.0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 8
+val value_8 = -0.0________0_______0______0_____0____0___0__0_0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 9
+val value_9 = 0.0000000000 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 10
+val value_10 = 0.00000000000000000000000000__________________________________________________________________________________________00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 11
+val value_11 = -0.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 12
+val value_12 = <!FLOAT_LITERAL_CONFORMS_ZERO!>0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 13
+val value_13 = -99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999.0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 14
+val value_14 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>222222222222222222___222222222222222222222___222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222222.0<!> checkType { _<Double>() }
@@ -0,0 +1,16 @@
+package
+
+public val value_1: kotlin.Unit
+public val value_10: kotlin.Unit
+public val value_11: kotlin.Unit
+public val value_12: kotlin.Unit
+public val value_13: kotlin.Unit
+public val value_14: kotlin.Unit
+public val value_2: kotlin.Unit
+public val value_3: kotlin.Unit
+public val value_4: kotlin.Unit
+public val value_5: kotlin.Unit
+public val value_6: kotlin.Unit
+public val value_7: kotlin.Unit
+public val value_8: kotlin.Unit
+public val value_9: kotlin.Unit
@@ -0,0 +1,128 @@
+// !CHECK_TYPE
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 5
+ * SENTENCE: [1] A real literal without the type suffix has type kotlin.Double, a real literal with the type suffix has type kotlin.Float.
+ * NUMBER: 2
+ * DESCRIPTION: A type checking of a real literal with an exponent mark.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = 0.0e0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 2
+val value_2 = 0.0e-0____0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 3
+val value_3 = 0.0E000 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 4
+val value_4 = 0.0E+0_0_0_0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 5
+val value_5 = 0________________________________________0.0e+0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 6
+val value_6 = 000.0___0e0_0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 7
+val value_7 = 0000.000E-000 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 8
+val value_8 = 1.0E+1 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 9
+val value_9 = 2_________2.0_0e2_2 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 10
+val value_10 = <!FLOAT_LITERAL_CONFORMS_ZERO!>33____3.000e-333<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 11
+val value_11 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>4444.0000e4444<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 12
+val value_12 = <!FLOAT_LITERAL_CONFORMS_ZERO!>55555.0E-5_5_5_5_5<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 13
+val value_13 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>6_6_6_6_6_6.0____0e666666<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 14
+val value_14 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>7777777.000E7777777<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 15
+val value_15 = <!FLOAT_LITERAL_CONFORMS_ZERO!>88888888.0000e-88888888<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 16
+val value_16 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>9_9_9_9_9_9_9_9_9.0E+9_9_9_9_9_9_9_9_9<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 17
+val value_17 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>0_________0________0_______0______0_____0____0___0__0_0.1234567890E999999999<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 18
+val value_18 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>123456789.23456789E+123456789<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 19
+val value_19 = 2345678.345678e00000000001 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 20
+val value_20 = <!FLOAT_LITERAL_CONFORMS_ZERO!>34567.4_5__6___7E-100000000000<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 21
+val value_21 = 456.5________6e-0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 22
+val value_22 = 5.65e000000000000 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 23
+val value_23 = 654.7654E+0__1_0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 24
+val value_24 = 76543.876543E1 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 25
+val value_25 = 8765432.98765432e-2 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 26
+val value_26 = 9_8765432_1.0987654321E-3 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 27
+val value_27 = 0.111_1e4 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 28
+val value_28 = 1.2_2222E-5 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 29
+val value_29 = 9.33333e+6 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 30
+val value_30 = 9.444444E7 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 31
+val value_31 = 8.5555555e8 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 32
+val value_32 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>2.66666666e3_0_8<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 33
+val value_33 = 3.7________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________77777777E-308 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 34
+val value_34 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>7.8888888888e+30____9<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 35
+val value_35 = 6.99999999999e-309 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 36
+val value_36 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>7.888888___888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888888e+111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 37
+val value_37 = 0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000_0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 38
+val value_38 = 0.0_00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e-000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 39
+val value_39 = 0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e+000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 checkType { _<Double>() }
@@ -0,0 +1,41 @@
+package
+
+public val value_1: kotlin.Unit
+public val value_10: kotlin.Unit
+public val value_11: kotlin.Unit
+public val value_12: kotlin.Unit
+public val value_13: kotlin.Unit
+public val value_14: kotlin.Unit
+public val value_15: kotlin.Unit
+public val value_16: kotlin.Unit
+public val value_17: kotlin.Unit
+public val value_18: kotlin.Unit
+public val value_19: kotlin.Unit
+public val value_2: kotlin.Unit
+public val value_20: kotlin.Unit
+public val value_21: kotlin.Unit
+public val value_22: kotlin.Unit
+public val value_23: kotlin.Unit
+public val value_24: kotlin.Unit
+public val value_25: kotlin.Unit
+public val value_26: kotlin.Unit
+public val value_27: kotlin.Unit
+public val value_28: kotlin.Unit
+public val value_29: kotlin.Unit
+public val value_3: kotlin.Unit
+public val value_30: kotlin.Unit
+public val value_31: kotlin.Unit
+public val value_32: kotlin.Unit
+public val value_33: kotlin.Unit
+public val value_34: kotlin.Unit
+public val value_35: kotlin.Unit
+public val value_36: kotlin.Unit
+public val value_37: kotlin.Unit
+public val value_38: kotlin.Unit
+public val value_39: kotlin.Unit
+public val value_4: kotlin.Unit
+public val value_5: kotlin.Unit
+public val value_6: kotlin.Unit
+public val value_7: kotlin.Unit
+public val value_8: kotlin.Unit
+public val value_9: kotlin.Unit
@@ -0,0 +1,98 @@
+// !CHECK_TYPE
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 5
+ * SENTENCE: [1] A real literal without the type suffix has type kotlin.Double, a real literal with the type suffix has type kotlin.Float.
+ * NUMBER: 3
+ * DESCRIPTION: A type checking of a real literal with omitted a whole-number part.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = .0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 2
+val value_2 = .00 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 3
+val value_3 = .000 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 4
+val value_4 = .0000 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 5
+val value_5 = .1234567890 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 6
+val value_6 = .23456789 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 7
+val value_7 = .345678 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 8
+val value_8 = .4567 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 9
+val value_9 = .56 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 10
+val value_10 = .65 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 11
+val value_11 = .7654 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 12
+val value_12 = .876543 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 13
+val value_13 = .98765432 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 14
+val value_14 = .0987654321 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 15
+val value_15 = .1111 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 16
+val value_16 = .22222 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 17
+val value_17 = .33333 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 18
+val value_18 = .444444 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 19
+val value_19 = .5555555 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 20
+val value_20 = .66666666 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 21
+val value_21 = .777777777 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 22
+val value_22 = .8888888888 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 23
+val value_23 = .99999999999 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 24
+val value_24 = .00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 25
+val value_25 = <!FLOAT_LITERAL_CONFORMS_ZERO!>.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 26
+val value_26 = .0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000123456789012345678901234567890123456789012345678901234567890 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 27
+val value_27 = .44444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444441 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 28
+val value_28 = .777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777777771 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 29
+val value_29 = .9999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999123456789912345678991234567899123456789912345678991234567899 checkType { _<Double>() }
@@ -0,0 +1,31 @@
+package
+
+public val value_1: kotlin.Unit
+public val value_10: kotlin.Unit
+public val value_11: kotlin.Unit
+public val value_12: kotlin.Unit
+public val value_13: kotlin.Unit
+public val value_14: kotlin.Unit
+public val value_15: kotlin.Unit
+public val value_16: kotlin.Unit
+public val value_17: kotlin.Unit
+public val value_18: kotlin.Unit
+public val value_19: kotlin.Unit
+public val value_2: kotlin.Unit
+public val value_20: kotlin.Unit
+public val value_21: kotlin.Unit
+public val value_22: kotlin.Unit
+public val value_23: kotlin.Unit
+public val value_24: kotlin.Unit
+public val value_25: kotlin.Unit
+public val value_26: kotlin.Unit
+public val value_27: kotlin.Unit
+public val value_28: kotlin.Unit
+public val value_29: kotlin.Unit
+public val value_3: kotlin.Unit
+public val value_4: kotlin.Unit
+public val value_5: kotlin.Unit
+public val value_6: kotlin.Unit
+public val value_7: kotlin.Unit
+public val value_8: kotlin.Unit
+public val value_9: kotlin.Unit
@@ -0,0 +1,101 @@
+// !CHECK_TYPE
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 5
+ * SENTENCE: [1] A real literal without the type suffix has type kotlin.Double, a real literal with the type suffix has type kotlin.Float.
+ * NUMBER: 4
+ * DESCRIPTION: A type checking of a real literal with omitted a whole-number part and an exponent mark.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = .0e0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 2
+val value_2 = .0e-0__________________0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 3
+val value_3 = .0E000 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 4
+val value_4 = .0E+0___0__0_0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 5
+val value_5 = .0e+0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 6
+val value_6 = .0_______0e00 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 7
+val value_7 = .00_0E-000 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 8
+val value_8 = .0E+1 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 9
+val value_9 = .00e22 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 10
+val value_10 = .000e-333 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 12
+val value_12 = .0E-5_5_5_5_5 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 15
+val value_15 = .0_0_0_0e-88888888 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 19
+val value_19 = .345678e00000000001 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 20
+val value_20 = <!FLOAT_LITERAL_CONFORMS_ZERO!>.4______567E-100000000000<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 21
+val value_21 = .5_6e-0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 22
+val value_22 = .65e000000000000 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 23
+val value_23 = .7654E+01_____0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 24
+val value_24 = .87__65__43E1 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 25
+val value_25 = .98765432e-2 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 26
+val value_26 = .0987654321E-3 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 27
+val value_27 = .1___1__1_1e4 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 28
+val value_28 = .22222E-5 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 29
+val value_29 = .33333e+6 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 30
+val value_30 = .44444_4E7 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 31
+val value_31 = .5555555e8 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 33
+val value_33 = .7_77777777E-308 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 35
+val value_35 = .99999999999e-3_0_9 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 37
+val value_37 = .0____00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 38
+val value_38 = .000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e-00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000___0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 39
+val value_39 = .000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e+000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 checkType { _<Double>() }
@@ -0,0 +1,32 @@
+package
+
+public val value_1: kotlin.Unit
+public val value_10: kotlin.Unit
+public val value_12: kotlin.Unit
+public val value_15: kotlin.Unit
+public val value_19: kotlin.Unit
+public val value_2: kotlin.Unit
+public val value_20: kotlin.Unit
+public val value_21: kotlin.Unit
+public val value_22: kotlin.Unit
+public val value_23: kotlin.Unit
+public val value_24: kotlin.Unit
+public val value_25: kotlin.Unit
+public val value_26: kotlin.Unit
+public val value_27: kotlin.Unit
+public val value_28: kotlin.Unit
+public val value_29: kotlin.Unit
+public val value_3: kotlin.Unit
+public val value_30: kotlin.Unit
+public val value_31: kotlin.Unit
+public val value_33: kotlin.Unit
+public val value_35: kotlin.Unit
+public val value_37: kotlin.Unit
+public val value_38: kotlin.Unit
+public val value_39: kotlin.Unit
+public val value_4: kotlin.Unit
+public val value_5: kotlin.Unit
+public val value_6: kotlin.Unit
+public val value_7: kotlin.Unit
+public val value_8: kotlin.Unit
+public val value_9: kotlin.Unit
@@ -0,0 +1,80 @@
+// !CHECK_TYPE
+
+/*
+ * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE)
+ *
+ * SECTIONS: constant-literals, real-literals
+ * PARAGRAPH: 5
+ * SENTENCE: [1] A real literal without the type suffix has type kotlin.Double, a real literal with the type suffix has type kotlin.Float.
+ * NUMBER: 5
+ * DESCRIPTION: A type checking of a real literal with omitted a fraction part and an exponent mark.
+ */
+
+// TESTCASE NUMBER: 1
+val value_1 = 0e0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 2
+val value_2 = 0_0e0_0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 3
+val value_3 = 000E-10 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 4
+val value_4 = 00______00e+00000000000 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 5
+val value_5 = 0000000000000000000000000000000000000_0E1 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 6
+val value_6 = 1e1 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 7
+val value_7 = 2___2E-1 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 8
+val value_8 = 333e-00000000000 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 9
+val value_9 = <!FLOAT_LITERAL_CONFORMS_ZERO!>4444E-99999999999999999<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 10
+val value_10 = 5_5_5_5_5e10 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 11
+val value_11 = 666666E0_0_0_1_0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 12
+val value_12 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>7777777e09090909090<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 13
+val value_13 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>88888888e1234567890<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 14
+val value_14 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>999999999E1234567890<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 15
+val value_15 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>123456789e9_____87___654__32_1<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 16
+val value_16 = 2345678E0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 17
+val value_17 = 3____4___5__6_7E+010 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 18
+val value_18 = <!FLOAT_LITERAL_CONFORMS_ZERO!>456e-09876543210<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 19
+val value_19 = <!FLOAT_LITERAL_CONFORMS_INFINITY!>5e5_0_5<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 20
+val value_20 = 654e5 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 21
+val value_21 = <!FLOAT_LITERAL_CONFORMS_ZERO!>76543E-91823<!> checkType { _<Double>() }
+
+// TESTCASE NUMBER: 22
+val value_22 = 8765432e+9_______0 checkType { _<Double>() }
+
+// TESTCASE NUMBER: 23
+val value_23 = 9_87654321e-1 checkType { _<Double>() }
@@ -0,0 +1,25 @@
+package
+
+public val value_1: kotlin.Unit
+public val value_10: kotlin.Unit
+public val value_11: kotlin.Unit
+public val value_12: kotlin.Unit
+public val value_13: kotlin.Unit
+public val value_14: kotlin.Unit
+public val value_15: kotlin.Unit
+public val value_16: kotlin.Unit
+public val value_17: kotlin.Unit
+public val value_18: kotlin.Unit
+public val value_19: kotlin.Unit
+public val value_2: kotlin.Unit
+public val value_20: kotlin.Unit
+public val value_21: kotlin.Unit
+public val value_22: kotlin.Unit
+public val value_23: kotlin.Unit
+public val value_3: kotlin.Unit
+public val value_4: kotlin.Unit
+public val value_5: kotlin.Unit
+public val value_6: kotlin.Unit
+public val value_7: kotlin.Unit
+public val value_8: kotlin.Unit
+public val value_9: kotlin.Unit