Merge pull request #7665 from dotty-staging/remove-backticked-names

Remove back-ticked names and add docs

Author: liufengyun

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

@@ -1137,9 +1137,9 @@ class ReflectionCompilerInterface(val rootContext: core.Contexts.Context) extend
     }
     else ctx.getClassIfDefined(clazz.getCanonicalName).typeRef
 
-  def `Type_=:=`(self: Type)(that: Type)(given Context): Boolean = self =:= that
+  def Type_isTypeEq(self: Type)(that: Type)(given Context): Boolean = self =:= that
 
-  def `Type_<:<`(self: Type)(that: Type)(given Context): Boolean = self <:< that
+  def Type_isSubType(self: Type)(that: Type)(given Context): Boolean = self <:< that
 
   /** Widen from singleton type to its underlying non-singleton
     *  base type by applying one or more `underlying` dereferences,

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

@@ -791,8 +791,13 @@ trait CompilerInterface {
 
   def Type_apply(clazz: Class[_])(given ctx: Context): Type
 
-  def `Type_=:=`(self: Type)(that: Type)(given ctx: Context): Boolean
-  def `Type_<:<`(self: Type)(that: Type)(given ctx: Context): Boolean
+  /** Is `self` type the same as `that` type?
+   *  This is the case iff `Type_isSubType(self, that)` and `Type_isSubType(that, self)`.
+   */
+  def Type_isTypeEq(self: Type)(that: Type)(given ctx: Context): Boolean
+
+  /** Is this type a subtype of that type? */
+  def Type_isSubType(self: Type)(that: Type)(given ctx: Context): Boolean
 
   /** Widen from singleton type to its underlying non-singleton
     *  base type by applying one or more `underlying` dereferences,

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

@@ -8,8 +8,15 @@ trait TypeOrBoundsOps extends Core {
   def typeOf[T: scala.quoted.Type]: Type
 
   given TypeOps: (self: Type) {
-    def =:=(that: Type)(given ctx: Context): Boolean = internal.`Type_=:=`(self)(that)
-    def <:<(that: Type)(given ctx: Context): Boolean = internal.`Type_<:<`(self)(that)
+
+    /** Is `self` type the same as `that` type?
+     *  This is the case iff `self <:< that` and `that <:< self`.
+     */
+    def =:=(that: Type)(given ctx: Context): Boolean = internal.Type_isTypeEq(self)(that)
+
+    /** Is this type a subtype of that type? */
+    def <:<(that: Type)(given ctx: Context): Boolean = internal.Type_isSubType(self)(that)
+
     def widen(given ctx: Context): Type = internal.Type_widen(self)
 
     /** Follow aliases and dereferences LazyRefs, annotated types and instantiated