Skip to content

Commit

Permalink
Make i13044 more resilient
Browse files Browse the repository at this point in the history
This tests that we handle stack overflows correctly. Due to some general
improvements we are closer to not reaching the stack overflow. Therefore,
we make this tests unroll a few more inlines to make sure that this stack
overflow is reached.
  • Loading branch information
nicolasstucki committed Oct 17, 2023
1 parent 36a9940 commit 1d2219e
Show file tree
Hide file tree
Showing 2 changed files with 20 additions and 5 deletions.
8 changes: 4 additions & 4 deletions tests/neg/i13044.check
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
-- Error: tests/neg/i13044.scala:50:40 ---------------------------------------------------------------------------------
50 | implicit def typeSchema: Schema[A] = Schema.gen // error // error
-- Error: tests/neg/i13044.scala:65:40 ---------------------------------------------------------------------------------
65 | implicit def typeSchema: Schema[A] = Schema.gen // error // error
| ^^^^^^^^^^
| given instance gen is declared as `inline`, but was not inlined
|
Expand Down Expand Up @@ -71,8 +71,8 @@
37 | inline given gen[A]: Schema[A] = derived
| ^^^^^^^
--------------------------------------------------------------------------------------------------------------------
-- Error: tests/neg/i13044.scala:50:40 ---------------------------------------------------------------------------------
50 | implicit def typeSchema: Schema[A] = Schema.gen // error // error
-- Error: tests/neg/i13044.scala:65:40 ---------------------------------------------------------------------------------
65 | implicit def typeSchema: Schema[A] = Schema.gen // error // error
| ^^^^^^^^^^
| method recurse is declared as `inline`, but was not inlined
|
Expand Down
17 changes: 16 additions & 1 deletion tests/neg/i13044.scala
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,22 @@ trait SchemaDerivation {
inline given gen[A]: Schema[A] = derived
}

case class H(i: Int)
case class X15(i: Int)
case class X14(i: X15)
case class X13(i: X14)
case class X12(i: X13)
case class X11(i: X12)
case class X10(i: X11)
case class X9(i: X10)
case class X8(i: X9)
case class X7(i: X8)
case class X6(i: X7)
case class X5(i: X6)
case class X4(i: X5)
case class X3(i: X4)
case class X2(i: X3)
case class X1(i: X2)
case class H(i: X1)
case class G(h: H)
case class F(g: G)
case class E(f: Option[F])
Expand Down

0 comments on commit 1d2219e

Please sign in to comment.