use toSeq type as element type and check type

Author: liufengyun

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

@@ -112,15 +112,15 @@ object Applications {
         RefinedType.make(defn.AnyType, names, tps)
       }
       getTp <:< superType(WildcardType)  && {
-        val seqArg = getTp.member(nme.toSeq).info.elemType.hiBound
+        val seqArg = extractorMemberType(getTp, nme.toSeq).elemType.hiBound
         getTp <:< superType(seqArg)
       }
     }
 
     if (unapplyName == nme.unapplySeq) {
       if (unapplyResult derivesFrom defn.SeqClass) seqSelector :: Nil
       else if (isGetMatch(unapplyResult, pos) && vaidUnapplySeqType(getTp)) {
-        val seqArg = getTp.member(nme.apply).info.finalResultType
+        val seqArg = extractorMemberType(getTp, nme.toSeq).elemType.hiBound
         if (seqArg.exists) args.map(Function.const(seqArg))
         else fail
       }