blob: 78f11f7750bdf1abeddbec29acb303080a8dd443 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// Currently, the pattern matcher widens the type of the
// scrutinee, so this doesn't typecheck. This test just
// confirms this behaviour, although it would be an improvement
// to change this and make this a `pos` test.
//
// But, to the intrepid hacker who works on this, a few notes:
// You'll have to look into places in the pattern matcher that
// call `dealias`, and see if they need to be `dealiasWiden`.
// For example, if `checkableType` used only `dealias`, `pos/t6671.scala`
// would fail.
object Test {
val a = ""; var b: a.type = a
b = b match { case x => x }
}
|