EqualityTestTreeMaker: fix incorrect type of symbol

given a pattern

object b

x match {
case y @ b => <body>
}

y inside the <body> `y` should have type b.type.
Inherited from scalac EqualityTestTreeMaker would reset type of it
in order to achive this.
Dotty instead needs to know this in advance.