comment uncertain line

Author: gorilskij

compiler/src/dotty/tools/dotc/typer/Inliner.scala

@@ -210,14 +210,16 @@ object Inliner {
 
     val targs = fun match
       case TypeApply(_, targs) => targs
+      // TODO: understand
+//      case Apply(TypeApply(_, targs), _) => targs
+      // ===
       case _ => Nil
 
     val unapplyInfo = sym.info match
       case info: PolyType => info.instantiate(targs.map(_.tpe)) match
         case MethodTpe(_, _, rt: PolyType) => rt.instantiate(targs.map(_.tpe))
         case MethodTpe(_, _, rt) if sym.flags.is(ExtensionMethod) => rt
         case info => info
-
       case MethodTpe(_, _, rt: PolyType) => rt.instantiate(targs.map(_.tpe))
       case MethodTpe(_, _, rt) if sym.flags.is(ExtensionMethod) => rt
       case info => info