Update exhaustivity tests for loosen rules

Author: OlivierBlanvillain

tests/patmat/andtype-opentype-interaction.check

@@ -2,5 +2,6 @@
 27: Pattern Match Exhaustivity: _: Trait & OpenTrait & OpenTrait2, _: Clazz & OpenTrait & OpenTrait2, _: AbstractClass & OpenTrait & OpenTrait2, _: SealedClass & OpenTrait & OpenTrait2
 31: Pattern Match Exhaustivity: _: Trait & OpenClass
 35: Pattern Match Exhaustivity: _: Trait & OpenTrait & OpenClass
+39: Pattern Match Exhaustivity: _: Trait & OpenClass & (OpenTrait & OpenClass2)
 43: Pattern Match Exhaustivity: _: Trait & OpenAbstractClass
 47: Pattern Match Exhaustivity: _: Trait & OpenClass & (OpenTrait & OpenClassSubclass)

tests/patmat/andtype-refinedtype-interaction.check

@@ -1,6 +1,7 @@
 32: Pattern Match Exhaustivity: _: Trait & C1{x: Int}
 48: Pattern Match Exhaustivity: _: Trait & (C1 | (C2 | T1)){x: Int} & (C3 | (C4 | T2)){x: Int}, _: Clazz & (C1 | (C2 | T1)){x: Int} & (C3 | (C4 | T2)){x: Int}
 54: Pattern Match Exhaustivity: _: Trait & (C1 | (C2 | T1)){x: Int} & C3{x: Int}
+59: Pattern Match Exhaustivity: _: Trait & (C1 & C2){x: Int}
 65: Pattern Match Exhaustivity: _: Trait & (C1 | C2){x: Int} & (C3 | SubC1){x: Int}
 72: Pattern Match Exhaustivity: _: Trait & (T1 & (C1 | SubC2)){x: Int} & (T2 & (C2 | C3 | SubC1)){x: Int} &
   SubSubC1{x: Int}