tests/pending/run/t2236-new.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

import scala.reflect.runtime.universe._

class T[A](implicit val m:TypeTag[A])
class Foo
class Bar extends T[Foo]
object Test extends dotty.runtime.LegacyApp {
  new Bar
}

object EvidenceTest {
  trait E[T]
  trait A[T] { implicit val e: E[T] = null }
  class B[T : E] extends A[T] { override val e = null }

  def f[T]: Unit = {
    implicit val e: E[T] = null
    new B[T]{}
  }
}