tasty-macro-assert.isOps: fix hygiene problems

- Ensure we deal with `Assert.Ops` and not any `Ops`, addressing TODO.

Author: Blaisorblade

tests/neg/tasty-macro-assert/quoted_1.scala

@@ -21,7 +21,10 @@ object Asserts {
     val tree = cond.toTasty
 
     def isOps(tpe: TypeOrBounds): Boolean = tpe match {
-      case Type.SymRef(DefDef("Ops", _, _, _, _), _) => true // TODO check that the parent is Asserts
+      case Type.SymRef(DefDef("Ops", _, _, _, _),
+        Type.SymRef(ValDef("Asserts", _, _),
+          Type.ThisType(Type.SymRef(PackageDef("<empty>", _), NoPrefix())))) =>
+        true
       case _ => false
     }
 

tests/run/tasty-macro-assert/quoted_1.scala

@@ -21,7 +21,10 @@ object Asserts {
     val tree = cond.toTasty
 
     def isOps(tpe: TypeOrBounds): Boolean = tpe match {
-      case Type.SymRef(DefDef("Ops", _, _, _, _), _) => true // TODO check that the parent is Asserts
+      case Type.SymRef(DefDef("Ops", _, _, _, _),
+        Type.SymRef(ValDef("Asserts", _, _),
+          Type.ThisType(Type.SymRef(PackageDef("<empty>", _), NoPrefix())))) =>
+        true
       case _ => false
     }