Skip to content

Commit e73d17b

Browse files
committed
revert i13044
1 parent cf35133 commit e73d17b

File tree

2 files changed

+2
-18
lines changed

2 files changed

+2
-18
lines changed

tests/neg/i13044.check

Lines changed: 0 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,3 @@
1-
-- [E195] Potential Issue Warning: tests/neg/i13044.scala:26:8 ---------------------------------------------------------
2-
26 | new Schema[A] {
3-
| ^
4-
| New anonymous class definition will be duplicated at each inline site
5-
|
6-
| longer explanation available when compiling with `-explain`
7-
-- [E195] Potential Issue Warning: tests/neg/i13044.scala:32:8 ---------------------------------------------------------
8-
32 | new Schema[A] {
9-
| ^
10-
| New anonymous class definition will be duplicated at each inline site
11-
|
12-
| longer explanation available when compiling with `-explain`
131
-- Error: tests/neg/i13044.scala:65:40 ---------------------------------------------------------------------------------
142
65 | implicit def typeSchema: Schema[A] = Schema.gen // error // error
153
| ^^^^^^^^^^

tests/neg/i13044.scala

Lines changed: 2 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -23,15 +23,11 @@ trait SchemaDerivation {
2323
inline summonInline[Mirror.Of[A]] match {
2424
case m: Mirror.SumOf[A] =>
2525
lazy val subTypes = recurse[m.MirroredElemTypes]
26-
new Schema[A] {
27-
def build: A = ???
28-
}
26+
???
2927

3028
case m: Mirror.ProductOf[A] =>
3129
lazy val fields = recurse[m.MirroredElemTypes]
32-
new Schema[A] {
33-
def build: A = ???
34-
}
30+
???
3531
}
3632

3733
inline given gen[A]: Schema[A] = derived

0 commit comments

Comments
 (0)