Skip to content

Commit 7d4f46e

Browse files
OlivierBlanvillainOlivierBlanvillain
committed
Update check files
The warnings on master are incorrect: we know that no instance of SealedClass match the corresponding cases.
1 parent 57912ff commit 7d4f46e

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

‎tests/patmat/andtype-opentype-interaction.check‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
1-
23: Pattern Match Exhaustivity: _: Trait & OpenTrait, _: Clazz & OpenTrait, _: AbstractClass & OpenTrait, _: SealedClass & OpenTrait
2-
27: Pattern Match Exhaustivity: _: Trait & OpenTrait & OpenTrait2, _: Clazz & OpenTrait & OpenTrait2, _: AbstractClass & OpenTrait & OpenTrait2, _: SealedClass & OpenTrait & OpenTrait2
1+
23: Pattern Match Exhaustivity: _: Trait & OpenTrait, _: Clazz & OpenTrait, _: AbstractClass & OpenTrait
2+
27: Pattern Match Exhaustivity: _: Trait & OpenTrait & OpenTrait2, _: Clazz & OpenTrait & OpenTrait2, _: AbstractClass & OpenTrait & OpenTrait2
33
31: Pattern Match Exhaustivity: _: Trait & OpenClass
44
35: Pattern Match Exhaustivity: _: Trait & OpenTrait & OpenClass
55
43: Pattern Match Exhaustivity: _: Trait & OpenAbstractClass

0 commit comments

Comments
 (0)