Skip to content

Commit

Permalink
move test
Browse files Browse the repository at this point in the history
  • Loading branch information
EnzeXing committed Nov 3, 2023
1 parent 9b6184b commit 20e2ca3
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,6 @@ object Test:
class Box(val x: Int)

def recur(a: => Box, b: => Box): Int =
a.x + recur(a, b) + b.x
a.x + recur(a, b) + b.x // error

recur(Box(1), Box(2))
Original file line number Diff line number Diff line change
Expand Up @@ -2,6 +2,6 @@ object Test:
class Box(val x: Int)

def recur(a: => Box, b: Box): Int =
a.x + recur(a, b) + b.x
a.x + recur(a, b) + b.x // error

recur(Box(1), Box(2))
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,6 @@ object Test:
class Box(val x: Int)

def recur(a: => Box, b: => Box): Int =
a.x + recur(a: @widen(5), b: @widen(5)) + b.x
a.x + recur(a: @widen(5), b: @widen(5)) + b.x // error

recur(Box(1), Box(2))

0 comments on commit 20e2ca3

Please sign in to comment.