-
Notifications
You must be signed in to change notification settings - Fork 1k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Improve recursive decompose prefix fix
[Cherry-picked 6b78047]
- Loading branch information
1 parent
09673f5
commit 90533c3
Showing
5 changed files
with
11 additions
and
7 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
2 changes: 0 additions & 2 deletions
2
tests/pos/i19031.ci-reg1.scala → tests/warn/i19031.ci-reg1.scala
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,3 @@ | ||
//> using options -Werror | ||
|
||
sealed trait Mark[T] | ||
|
||
trait Foo[T] | ||
|
2 changes: 0 additions & 2 deletions
2
tests/pos/i19031.ci-reg2.scala → tests/warn/i19031.ci-reg2.scala
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,3 @@ | ||
//> using options -Werror | ||
|
||
trait Outer: | ||
sealed trait Foo | ||
case class Bar1() extends Foo | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,5 +1,3 @@ | ||
//> using options -Werror | ||
|
||
sealed trait A: | ||
class B extends A | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
sealed trait A: | ||
class B extends A | ||
|
||
class C extends A | ||
|
||
class Test: | ||
def t1(a: A): Boolean = | ||
a match | ||
case b: A#B => true | ||
case c: C => true |