Add apply method for object Refinement in tasty reflect

Author: biboudis

compiler/src/dotty/tools/dotc/tastyreflect/ReflectionCompilerInterface.scala

@@ -1265,6 +1265,13 @@ class ReflectionCompilerInterface(val rootContext: core.Contexts.Context) extend
       case _ => None
   }
 
+  def Refinement_apply(parent: Type, name: String, info: TypeOrBounds /* Type | TypeBounds */)(given ctx: Context): Refinement = {
+    // fixme: support type refinements (type vs term)
+    //    examine info maybe (TypeOrBounds are used for refinements)
+    //    check aliasing of refinement
+    Types.RefinedType(parent, name.toTermName, info)
+  }
+
   def Refinement_parent(self: Refinement)(given Context): Type = self.parent
   def Refinement_name(self: Refinement)(given Context): String = self.refinedName.toString
   def Refinement_info(self: Refinement)(given Context): TypeOrBounds = self.refinedInfo

library/src/scala/tasty/reflect/CompilerInterface.scala

@@ -908,6 +908,8 @@ trait CompilerInterface {
 
   def isInstanceOfRefinement(given ctx: Context): IsInstanceOf[Refinement]
 
+  def Refinement_apply(parent: Type, name: String, info: TypeOrBounds /* Type | TypeBounds */)(given ctx: Context): Refinement
+
   def Refinement_parent(self: Refinement)(given ctx: Context): Type
   def Refinement_name(self: Refinement)(given ctx: Context): String
   def Refinement_info(self: Refinement)(given ctx: Context): TypeOrBounds

library/src/scala/tasty/reflect/TypeOrBoundsOps.scala

@@ -167,6 +167,9 @@ trait TypeOrBoundsOps extends Core {
     def unapply(x: Refinement)(given ctx: Context): Option[Refinement] = Some(x)
 
   object Refinement {
+    def apply(parent: Type, name: String, info: TypeOrBounds /* Type | TypeBounds */)(given ctx: Context): Refinement =
+      internal.Refinement_apply(parent, name, info)
+
     def unapply(x: Refinement)(given ctx: Context): Option[(Type, String, TypeOrBounds /* Type | TypeBounds */)] =
       Some((x.parent, x.name, x.info))
   }
@@ -184,7 +187,7 @@ trait TypeOrBoundsOps extends Core {
     def unapply(x: AppliedType)(given ctx: Context): Option[AppliedType] = Some(x)
 
   object AppliedType {
-    def apply(tycon: Type, args: List[TypeOrBounds])(given ctx: Context) : AppliedType =
+    def apply(tycon: Type, args: List[TypeOrBounds])(given ctx: Context): AppliedType =
       internal.AppliedType_apply(tycon, args)
     def unapply(x: AppliedType)(given ctx: Context): Option[(Type, List[TypeOrBounds /* Type | TypeBounds */])] =
       Some((x.tycon, x.args))