Uploaded image for project: 'Scala Programming Language'
  1. Scala Programming Language
  2. SI-5829

instantiate gets confused if tvar is inferred to be a refinement type whose parent is a refinement type

    Details

      Description

      trait Universe {
        type Tree
       
        type SymTree <: Tree
        type NameTree <: Tree
        type RefTree <: SymTree with NameTree
       
        type Ident <: RefTree
        type Select <: RefTree
      }
       
      object Test extends App {
        val universe: Universe = null
        import universe._
        def select: Select = ???
        def ident: Ident = ???
        List(select, ident)
      }
      

      C:\Projects\KeplerUnderRefactoring\sandbox @ topic/reflection>myke compile Test.scala
      Test.scala:17: error: no type parameters for method apply: (xs: A*)List[A] in object List exist so that it can be applied to arguments (Test.universe.Select, Test.universe.Ident)
       --- because ---
      undetermined type
        List(select, ident)
        ^
      

        Attachments

          Activity

            People

            • Assignee:
              burmako Eugene Burmako
              Reporter:
              burmako Eugene Burmako
            • Votes:
              0 Vote for this issue
              Watchers:
              3 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: