Details

      Description

      scala> trait T extends Any { def foo = 1}; class C(val a: Any) extends AnyVal with T { override def foo = super[T].foo }
      exception when typing $this.super[T].foo()/class scala.reflect.internal.Trees$Apply
      T does not name a parent class of <none> in file <console>
      scala.reflect.internal.Types$TypeError: T does not name a parent class of <none>
      ...
      == Enclosing template or block ==
      
      Apply( // def foo(): Int in trait T
        $this.super[T]."foo" // def foo(): Int in trait T, tree.tpe=()Int
        Nil
      )
      
      == Expanded type of tree ==
      
      ErasedValueType(C)
      
      

        Activity

        Show
        Jason Zaugg added a comment - https://github.com/scala/scala/pull/1471

          People

          • Assignee:
            Jason Zaugg
            Reporter:
            Jason Zaugg
          • Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

            Dates

            • Created:
              Updated:
              Resolved:

              Development