Skip to content

Commit d331886

Browse files
committed
update checkfiles
1 parent e73d17b commit d331886

File tree

1 file changed

+24
-24
lines changed

1 file changed

+24
-24
lines changed

tests/neg/i13044.check

+24-24
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
1-
-- Error: tests/neg/i13044.scala:65:40 ---------------------------------------------------------------------------------
2-
65 | implicit def typeSchema: Schema[A] = Schema.gen // error // error
1+
-- Error: tests/neg/i13044.scala:61:40 ---------------------------------------------------------------------------------
2+
61 | implicit def typeSchema: Schema[A] = Schema.gen // error // error
33
| ^^^^^^^^^^
44
| given instance gen is declared as `inline`, but was not inlined
55
|
@@ -12,47 +12,47 @@
1212
| ^
1313
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
1414
|This location contains code that was inlined from i13044.scala:17
15-
31 | lazy val fields = recurse[m.MirroredElemTypes]
15+
29 | lazy val fields = recurse[m.MirroredElemTypes]
1616
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1717
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
1818
|This location contains code that was inlined from i13044.scala:17
19-
37 | inline given gen[A]: Schema[A] = derived
19+
33 | inline given gen[A]: Schema[A] = derived
2020
| ^^^^^^^
2121
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
2222
|This location contains code that was inlined from i13044.scala:17
2323
17 | val builder = summonInline[Schema[t]].asInstanceOf[Schema[Any]]
2424
| ^
2525
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
2626
|This location contains code that was inlined from i13044.scala:17
27-
31 | lazy val fields = recurse[m.MirroredElemTypes]
27+
29 | lazy val fields = recurse[m.MirroredElemTypes]
2828
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
2929
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
3030
|This location contains code that was inlined from i13044.scala:17
31-
37 | inline given gen[A]: Schema[A] = derived
31+
33 | inline given gen[A]: Schema[A] = derived
3232
| ^^^^^^^
3333
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
3434
|This location contains code that was inlined from i13044.scala:17
3535
17 | val builder = summonInline[Schema[t]].asInstanceOf[Schema[Any]]
3636
| ^
3737
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
3838
|This location contains code that was inlined from i13044.scala:17
39-
31 | lazy val fields = recurse[m.MirroredElemTypes]
39+
29 | lazy val fields = recurse[m.MirroredElemTypes]
4040
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
4141
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
4242
|This location contains code that was inlined from i13044.scala:17
43-
37 | inline given gen[A]: Schema[A] = derived
43+
33 | inline given gen[A]: Schema[A] = derived
4444
| ^^^^^^^
4545
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
4646
|This location contains code that was inlined from i13044.scala:17
4747
17 | val builder = summonInline[Schema[t]].asInstanceOf[Schema[Any]]
4848
| ^
4949
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
5050
|This location contains code that was inlined from i13044.scala:17
51-
31 | lazy val fields = recurse[m.MirroredElemTypes]
51+
29 | lazy val fields = recurse[m.MirroredElemTypes]
5252
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
5353
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
5454
|This location contains code that was inlined from i13044.scala:17
55-
37 | inline given gen[A]: Schema[A] = derived
55+
33 | inline given gen[A]: Schema[A] = derived
5656
| ^^^^^^^
5757
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
5858
|This location contains code that was inlined from i13044.scala:17
@@ -64,15 +64,15 @@
6464
| ^^^^^^^^^^^
6565
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
6666
|This location contains code that was inlined from i13044.scala:17
67-
31 | lazy val fields = recurse[m.MirroredElemTypes]
67+
29 | lazy val fields = recurse[m.MirroredElemTypes]
6868
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
6969
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
7070
|This location contains code that was inlined from i13044.scala:17
71-
37 | inline given gen[A]: Schema[A] = derived
71+
33 | inline given gen[A]: Schema[A] = derived
7272
| ^^^^^^^
7373
--------------------------------------------------------------------------------------------------------------------
74-
-- Error: tests/neg/i13044.scala:65:40 ---------------------------------------------------------------------------------
75-
65 | implicit def typeSchema: Schema[A] = Schema.gen // error // error
74+
-- Error: tests/neg/i13044.scala:61:40 ---------------------------------------------------------------------------------
75+
61 | implicit def typeSchema: Schema[A] = Schema.gen // error // error
7676
| ^^^^^^^^^^
7777
| method recurse is declared as `inline`, but was not inlined
7878
|
@@ -85,47 +85,47 @@
8585
| ^^^^^^^
8686
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
8787
|This location contains code that was inlined from i13044.scala:18
88-
31 | lazy val fields = recurse[m.MirroredElemTypes]
88+
29 | lazy val fields = recurse[m.MirroredElemTypes]
8989
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
9090
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
9191
|This location contains code that was inlined from i13044.scala:18
92-
37 | inline given gen[A]: Schema[A] = derived
92+
33 | inline given gen[A]: Schema[A] = derived
9393
| ^^^^^^^
9494
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
9595
|This location contains code that was inlined from i13044.scala:18
9696
17 | val builder = summonInline[Schema[t]].asInstanceOf[Schema[Any]]
9797
| ^
9898
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
9999
|This location contains code that was inlined from i13044.scala:18
100-
31 | lazy val fields = recurse[m.MirroredElemTypes]
100+
29 | lazy val fields = recurse[m.MirroredElemTypes]
101101
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
102102
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
103103
|This location contains code that was inlined from i13044.scala:18
104-
37 | inline given gen[A]: Schema[A] = derived
104+
33 | inline given gen[A]: Schema[A] = derived
105105
| ^^^^^^^
106106
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
107107
|This location contains code that was inlined from i13044.scala:18
108108
17 | val builder = summonInline[Schema[t]].asInstanceOf[Schema[Any]]
109109
| ^
110110
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
111111
|This location contains code that was inlined from i13044.scala:18
112-
31 | lazy val fields = recurse[m.MirroredElemTypes]
112+
29 | lazy val fields = recurse[m.MirroredElemTypes]
113113
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
114114
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
115115
|This location contains code that was inlined from i13044.scala:18
116-
37 | inline given gen[A]: Schema[A] = derived
116+
33 | inline given gen[A]: Schema[A] = derived
117117
| ^^^^^^^
118118
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
119119
|This location contains code that was inlined from i13044.scala:18
120120
17 | val builder = summonInline[Schema[t]].asInstanceOf[Schema[Any]]
121121
| ^
122122
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
123123
|This location contains code that was inlined from i13044.scala:18
124-
31 | lazy val fields = recurse[m.MirroredElemTypes]
124+
29 | lazy val fields = recurse[m.MirroredElemTypes]
125125
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
126126
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
127127
|This location contains code that was inlined from i13044.scala:18
128-
37 | inline given gen[A]: Schema[A] = derived
128+
33 | inline given gen[A]: Schema[A] = derived
129129
| ^^^^^^^
130130
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
131131
|This location contains code that was inlined from i13044.scala:18
@@ -137,10 +137,10 @@
137137
| ^^^^^^^^^^^
138138
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
139139
|This location contains code that was inlined from i13044.scala:18
140-
31 | lazy val fields = recurse[m.MirroredElemTypes]
140+
29 | lazy val fields = recurse[m.MirroredElemTypes]
141141
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
142142
|- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
143143
|This location contains code that was inlined from i13044.scala:18
144-
37 | inline given gen[A]: Schema[A] = derived
144+
33 | inline given gen[A]: Schema[A] = derived
145145
| ^^^^^^^
146146
--------------------------------------------------------------------------------------------------------------------

0 commit comments

Comments
 (0)