assertion failed: asTerm called on not-a-Term val <none>

[DieBauer]

Minimized code

The following code compiles on scala 2.x, but fails on dotty 0.23-RC1 and latest nightly.

https://github.com/DieBauer/dotty-java/blob/master/src/main/scala/Jersey.scala#L17-L20

Output (click arrow to expand)

[info] Compiling 1 Scala source to /Users/jens/Developer/spring/target/scala-0.24/classes ...
exception while typing MyFactoryProvider.this of class class dotty.tools.dotc.ast.Trees$This # 27886
exception while typing MyFactoryProvider.this.mpep of class class dotty.tools.dotc.ast.Trees$Select # 28110
exception while typing override def get(): 
  
    org.glassfish.jersey.server.internal.inject.
      MultivaluedParameterExtractorProvider
  
 = MyFactoryProvider.this.mpep of class class dotty.tools.dotc.ast.Trees$DefDef # 28111
exception while typing final class $anon() extends Object(), 
  javax.inject.Provider[
    org.glassfish.jersey.server.internal.inject.
      MultivaluedParameterExtractorProvider
  ]
 {| => root / Compile / compileIncremental 0s
  override def get(): 
    
      org.glassfish.jersey.server.internal.inject.
        MultivaluedParameterExtractorProvider
    
   = MyFactoryProvider.this.mpep
} of class class dotty.tools.dotc.ast.Trees$TypeDef # 28113
exception while typing {
  final class $anon() extends Object(), 
    javax.inject.Provider[
      org.glassfish.jersey.server.internal.inject.
        MultivaluedParameterExtractorProvider
    ]
   {
    override def get(): 
      
        org.glassfish.jersey.server.internal.inject.
          MultivaluedParameterExtractorProvider
      
     = MyFactoryProvider.this.mpep
  }
  new Object with javax.inject.Provider {...}():
    
      javax.inject.Provider[
        org.glassfish.jersey.server.internal.inject.
          MultivaluedParameterExtractorProvider
      ]
    
} of class class dotty.tools.dotc.ast.Trees$Block # 28114
exception while typing private <static> def MyFactoryProvider$superArg$1(
  mpep: 
    
      org.glassfish.jersey.server.internal.inject.
        MultivaluedParameterExtractorProvider
    
, locator: org.glassfish.hk2.api.ServiceLocator): 
  
    javax.inject.Provider[
      org.glassfish.jersey.server.internal.inject.
        MultivaluedParameterExtractorProvider
    ]
  
 = 
  {
    final class $anon() extends Object(), 
      javax.inject.Provider[
        org.glassfish.jersey.server.internal.inject.
          MultivaluedParameterExtractorProvider
      ]
     {
      override def get(): 
        
          org.glassfish.jersey.server.internal.inject.
            MultivaluedParameterExtractorProvider
        
       = MyFactoryProvider.this.mpep
    }
    new Object with javax.inject.Provider {...}():
      
        javax.inject.Provider[
          org.glassfish.jersey.server.internal.inject.
            MultivaluedParameterExtractorProvider
        ]
      
  } of class class dotty.tools.dotc.ast.Trees$DefDef # 28120
exception while typing @scala.annotation.internal.SourceFile(
  "/Users/jens/Developer/spring/src/main/scala/Main.scala"
) class MyFactoryProvider @javax.inject.Inject()(
  mpep: 
    
      org.glassfish.jersey.server.internal.inject.
        MultivaluedParameterExtractorProvider
    
, locator: org.glassfish.hk2.api.ServiceLocator) extends 
  org.glassfish.jersey.server.internal.inject.AbstractValueParamProvider
(MyFactoryProvider#MyFactoryProvider$superArg$1(this.mpep, this.locator), 
  [UNKNOWN : org.glassfish.jersey.model.Parameter.Source]
) {
  private val mpep: 
    
      org.glassfish.jersey.server.internal.inject.
        MultivaluedParameterExtractorProvider
    
  private val locator: org.glassfish.hk2.api.ServiceLocator
  override def createValueProvider(
    parameter: org.glassfish.jersey.server.model.Parameter
  ): 
    java.util.function.Function[org.glassfish.jersey.server.ContainerRequest, ?]
   = 
    {
      def $anonfun(request: org.glassfish.jersey.server.ContainerRequest): Any
         = 
      ""
      closure($anonfun:
        
          java.util.function.Function[
            org.glassfish.jersey.server.ContainerRequest
          , ?]
        
      )
    }
  private <static> def MyFactoryProvider$superArg$1(
    mpep: 
      
        org.glassfish.jersey.server.internal.inject.
          MultivaluedParameterExtractorProvider
      
  , locator: org.glassfish.hk2.api.ServiceLocator): 
    
      javax.inject.Provider[
        org.glassfish.jersey.server.internal.inject.
          MultivaluedParameterExtractorProvider
      ]
    
   = 
    {
      final class $anon() extends Object(), 
        javax.inject.Provider[
          org.glassfish.jersey.server.internal.inject.
            MultivaluedParameterExtractorProvider
        ]
       {
        override def get(): 
          
            org.glassfish.jersey.server.internal.inject.
              MultivaluedParameterExtractorProvider
          
         = MyFactoryProvider.this.mpep
      }
      new Object with javax.inject.Provider {...}():
        
          javax.inject.Provider[
            org.glassfish.jersey.server.internal.inject.
              MultivaluedParameterExtractorProvider
          ]
        
    }
} of class class dotty.tools.dotc.ast.Trees$TypeDef # 28131
exception while typing package <empty> {
  @scala.annotation.internal.SourceFile(
    "/Users/jens/Developer/spring/src/main/scala/Main.scala"
  ) class Handler() extends 
    
      org.springframework.web.servlet.mvc.method.annotation.
        ResponseEntityExceptionHandler
    
  () {}
  @scala.annotation.internal.SourceFile(
    "/Users/jens/Developer/spring/src/main/scala/Main.scala"
  ) class MyFactoryProvider @javax.inject.Inject()(
    mpep: 
      
        org.glassfish.jersey.server.internal.inject.
          MultivaluedParameterExtractorProvider
      
  , locator: org.glassfish.hk2.api.ServiceLocator) extends 
    org.glassfish.jersey.server.internal.inject.AbstractValueParamProvider
  (MyFactoryProvider#MyFactoryProvider$superArg$1(this.mpep, this.locator), 
    [UNKNOWN : org.glassfish.jersey.model.Parameter.Source]
  ) {
    private val mpep: 
      
        org.glassfish.jersey.server.internal.inject.
          MultivaluedParameterExtractorProvider
      
    private val locator: org.glassfish.hk2.api.ServiceLocator
    override def createValueProvider(
      parameter: org.glassfish.jersey.server.model.Parameter
    ): 
      
        java.util.function.Function[org.glassfish.jersey.server.ContainerRequest
          , 
        ?]
      
     = 
      {
        def $anonfun(request: org.glassfish.jersey.server.ContainerRequest): Any
           = 
        ""
        closure($anonfun:
          
            java.util.function.Function[
              org.glassfish.jersey.server.ContainerRequest
            , ?]
          
        )
      }
    private <static> def MyFactoryProvider$superArg$1(
      mpep: 
        
          org.glassfish.jersey.server.internal.inject.
            MultivaluedParameterExtractorProvider
        
    , locator: org.glassfish.hk2.api.ServiceLocator): 
      
        javax.inject.Provider[
          org.glassfish.jersey.server.internal.inject.
            MultivaluedParameterExtractorProvider
        ]
      
     = 
      {
        final class $anon() extends Object(), 
          javax.inject.Provider[
            org.glassfish.jersey.server.internal.inject.
              MultivaluedParameterExtractorProvider
          ]
         {
          override def get(): 
            
              org.glassfish.jersey.server.internal.inject.
                MultivaluedParameterExtractorProvider
            
           = MyFactoryProvider.this.mpep
        }
        new Object with javax.inject.Provider {...}():
          
            javax.inject.Provider[
              org.glassfish.jersey.server.internal.inject.
                MultivaluedParameterExtractorProvider
            ]
          
      }
  }
} of class class dotty.tools.dotc.ast.Trees$PackageDef # 28132

java.lang.AssertionError: assertion failed: asTerm called on not-a-Term val <none> while compiling /Users/jens/Developer/spring/src/main/scala/Main.scala
[error] ## Exception when compiling 1 sources to /Users/jens/Developer/spring/target/scala-0.24/classes
[error] java.lang.AssertionError: assertion failed: asTerm called on not-a-Term val <none>
[error] dotty.DottyPredef$.assertFail(DottyPredef.scala:17)
[error] dotty.tools.dotc.core.Symbols$Symbol.asTerm(Symbols.scala:532)
[error] dotty.tools.dotc.transform.ExplicitOuter$.dotty$tools$dotc$transform$ExplicitOuter$$$outerParamAccessor(ExplicitOuter.scala:222)
[error] dotty.tools.dotc.transform.ExplicitOuter$OuterOps$.loop$1(ExplicitOuter.scala:405)
[error] dotty.tools.dotc.transform.ExplicitOuter$OuterOps$.path$extension(ExplicitOuter.scala:413)
[error] dotty.tools.dotc.transform.Erasure$Typer.typedThis(Erasure.scala:721)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2336)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2394)
[error] dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:124)
[error] dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2433)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2442)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2445)
[error] dotty.tools.dotc.transform.Erasure$Typer.typedSelect(Erasure.scala:640)
[error] dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2315)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2393)
[error] dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:124)
[error] dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2433)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2442)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2445)
[error] dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2556)
[error] dotty.tools.dotc.typer.Typer.typedDefDef(Typer.scala:1867)
[error] dotty.tools.dotc.transform.Erasure$Typer.typedDefDef(Erasure.scala:866)
[error] dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2322)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2393)
[error] dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:124)
[error] dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2433)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2442)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2445)
[error] dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:2467)
[error] dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2512)
[error] dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:953)
[error] dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:2003)
[error] dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2325)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2393)
[error] dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:124)
[error] dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2433)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2442)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2445)
[error] dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:2467)
[error] dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2512)
[error] dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:953)
[error] dotty.tools.dotc.typer.Typer.typedBlockStats(Typer.scala:849)
[error] dotty.tools.dotc.typer.Typer.typedBlock(Typer.scala:853)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2343)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2394)
[error] dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:124)
[error] dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2433)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2442)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2445)
[error] dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2556)
[error] dotty.tools.dotc.typer.Typer.typedDefDef(Typer.scala:1867)
[error] dotty.tools.dotc.transform.Erasure$Typer.typedDefDef(Erasure.scala:866)
[error] dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2322)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2393)
[error] dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:124)
[error] dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2433)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2442)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2445)
[error] dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:2467)
[error] dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2512)
[error] dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:953)
[error] dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:2003)
[error] dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2325)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2393)
[error] dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:124)
[error] dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2433)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2442)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2445)
[error] dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:2467)
[error] dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2512)
[error] dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:953)
[error] dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:2129)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2366)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2394)
[error] dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:124)
[error] dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2433)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2442)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2445)
[error] dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2556)
[error] dotty.tools.dotc.transform.Erasure.run(Erasure.scala:121)
[error] dotty.tools.dotc.core.Phases$Phase.runOn$$anonfun$1(Phases.scala:318)
[error] scala.collection.immutable.List.map(List.scala:219)
[error] dotty.tools.dotc.core.Phases$Phase.runOn(Phases.scala:319)
[error] dotty.tools.dotc.Run.runPhases$4$$anonfun$4(Run.scala:165)
[error] dotty.runtime.function.JProcedure1.apply(JProcedure1.java:15)
[error] dotty.runtime.function.JProcedure1.apply(JProcedure1.java:10)
[error] scala.collection.ArrayOps$.foreach$extension(ArrayOps.scala:1323)
[error] dotty.tools.dotc.Run.runPhases$5(Run.scala:175)
[error] dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:183)
[error] dotty.runtime.function.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)
[error] dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:64)
[error] dotty.tools.dotc.Run.compileUnits(Run.scala:190)
[error] dotty.tools.dotc.Run.compileSources(Run.scala:127)
[error] dotty.tools.dotc.Run.compile(Run.scala:110)
[error] dotty.tools.dotc.Driver.doCompile(Driver.scala:38)
[error] dotty.tools.dotc.Driver.process(Driver.scala:194)
[error] dotty.tools.dotc.Main.process(Main.scala)
[error] xsbt.CachedCompilerImpl.run(CachedCompilerImpl.java:69)
[error] xsbt.CompilerInterface.run(CompilerInterface.java:41)
[error] sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
[error] sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
[error] sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
[error] java.lang.reflect.Method.invoke(Method.java:498)
[error] sbt.internal.inc.AnalyzingCompiler.call(AnalyzingCompiler.scala:248)
[error] sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:122)
[error] sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:95)
[error] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4(MixedAnalyzingCompiler.scala:91)
[error] scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)
[error] sbt.internal.inc.MixedAnalyzingCompiler.timed(MixedAnalyzingCompiler.scala:186)
[error] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$3(MixedAnalyzingCompiler.scala:82)
[error] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$3$adapted(MixedAnalyzingCompiler.scala:77)
[error] sbt.internal.inc.JarUtils$.withPreviousJar(JarUtils.scala:215)
[error] sbt.internal.inc.MixedAnalyzingCompiler.compileScala$1(MixedAnalyzingCompiler.scala:77)
[error] sbt.internal.inc.MixedAnalyzingCompiler.compile(MixedAnalyzingCompiler.scala:146)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1(IncrementalCompilerImpl.scala:343)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1$adapted(IncrementalCompilerImpl.scala:343)
[error] sbt.internal.inc.Incremental$.doCompile(Incremental.scala:120)
[error] sbt.internal.inc.Incremental$.$anonfun$compile$4(Incremental.scala:100)
[error] sbt.internal.inc.IncrementalCommon.recompileClasses(IncrementalCommon.scala:180)
[error] sbt.internal.inc.IncrementalCommon.cycle(IncrementalCommon.scala:98)
[error] sbt.internal.inc.Incremental$.$anonfun$compile$3(Incremental.scala:102)
[error] sbt.internal.inc.Incremental$.manageClassfiles(Incremental.scala:155)
[error] sbt.internal.inc.Incremental$.compile(Incremental.scala:92)
[error] sbt.internal.inc.IncrementalCompile$.apply(Compile.scala:75)
[error] sbt.internal.inc.IncrementalCompilerImpl.compileInternal(IncrementalCompilerImpl.scala:348)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileIncrementally$1(IncrementalCompilerImpl.scala:301)
[error] sbt.internal.inc.IncrementalCompilerImpl.handleCompilationError(IncrementalCompilerImpl.scala:168)
[error] sbt.internal.inc.IncrementalCompilerImpl.compileIncrementally(IncrementalCompilerImpl.scala:248)
[error] sbt.internal.inc.IncrementalCompilerImpl.compile(IncrementalCompilerImpl.scala:74)
[error] sbt.Defaults$.compileIncrementalTaskImpl(Defaults.scala:1762)
[error] sbt.Defaults$.$anonfun$compileIncrementalTask$1(Defaults.scala:1735)
[error] scala.Function1.$anonfun$compose$1(Function1.scala:49)
[error] sbt.internal.util.$tilde$greater.$anonfun$$u2219$1(TypeFunctions.scala:62)
[error] sbt.std.Transform$$anon$4.work(Transform.scala:67)
[error] sbt.Execute.$anonfun$submit$2(Execute.scala:281)
[error] sbt.internal.util.ErrorHandling$.wideConvert(ErrorHandling.scala:19)
[error] sbt.Execute.work(Execute.scala:290)
[error] sbt.Execute.$anonfun$submit$1(Execute.scala:281)
[error] sbt.ConcurrentRestrictions$$anon$4.$anonfun$submitValid$1(ConcurrentRestrictions.scala:178)
[error] sbt.CompletionService$$anon$2.call(CompletionService.scala:37)
[error] java.util.concurrent.FutureTask.run(FutureTask.java:266)
[error] java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)
[error] java.util.concurrent.FutureTask.run(FutureTask.java:266)
[error] java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
[error] java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
[error] java.lang.Thread.run(Thread.java:748)
[error]            
[error] stack trace is suppressed; run last Compile / compileIncremental for the full output
[error] (Compile / compileIncremental) java.lang.AssertionError: assertion failed: asTerm called on not-a-Term val <none>

[liufengyun]

@DieBauer It will help a lot if you can help minimize it further to a small snippet of code. An example minimization can be found here: #8742 .

[DieBauer]

Thanks. Got it: https://github.com/DieBauer/dotty-java/blob/master/src/main/scala/Repro.scala

Compiles in 2.13.1, fails in dotty.

exception while typing A.this of class class dotty.tools.dotc.ast.Trees$This # 27746
exception while typing A.this.a of class class dotty.tools.dotc.ast.Trees$Select # 27830
exception while typing override def get(): String = A.this.a of class class dotty.tools.dotc.ast.Trees$DefDef # 27831
exception while typing final class $anon() extends Object(), C {
  override def get(): String = A.this.a
} of class class dotty.tools.dotc.ast.Trees$TypeDef # 27833
exception while typing {
  final class $anon() extends Object(), C {
    override def get(): String = A.this.al 0s
  }
  new Object with C {...}():C
} of class class dotty.tools.dotc.ast.Trees$Block # 27834
exception while typing private <static> def A$superArg$1(a: String): C = 
  {
    final class $anon() extends Object(), C {
      override def get(): String = A.this.a
    }
    new Object with C {...}():C
  } of class class dotty.tools.dotc.ast.Trees$DefDef # 27838
exception while typing @scala.annotation.internal.SourceFile(
  "/Users/jens/Development/dotty-java/src/main/scala/Repro.scala"
) class A(a: String) extends B(A#A$superArg$1(this.a)) {
  private val a: String
  private <static> def A$superArg$1(a: String): C = 
    {
      final class $anon() extends Object(), C {
        override def get(): String = A.this.a
      }
      new Object with C {...}():C
    }
} of class class dotty.tools.dotc.ast.Trees$TypeDef # 27846
exception while typing package <empty> {
  @scala.annotation.internal.SourceFile(
    "/Users/jens/Development/dotty-java/src/main/scala/Repro.scala"
  ) class A(a: String) extends B(A#A$superArg$1(this.a)) {
    private val a: String
    private <static> def A$superArg$1(a: String): C = 
      {
        final class $anon() extends Object(), C {
          override def get(): String = A.this.a
        }
        new Object with C {...}():C
      }
  }
  @scala.annotation.internal.SourceFile(
    "/Users/jens/Development/dotty-java/src/main/scala/Repro.scala"
  ) class B(c: C) extends Object() {
    private val c: C
  }
  @scala.annotation.internal.SourceFile(
    "/Users/jens/Development/dotty-java/src/main/scala/Repro.scala"
  ) trait C() extends Object {
    def get(): String
  }
} of class class dotty.tools.dotc.ast.Trees$PackageDef # 27847
[info] exception occurred while compiling /Users/jens/Development/dotty-java/src/main/scala/Jersey.scala, /Users/jens/Development/dotty-java/src/main/scala/Repro.scala, /Users/jens/Development/dotty-java/src/main/scala/Spring.scala
java.lang.AssertionError: assertion failed: asTerm called on not-a-Term val <none> while compiling /Users/jens/Development/dotty-java/src/main/scala/Jersey.scala, /Us
ers/jens/Development/dotty-java/src/main/scala/Repro.scala, /Users/jens/Development/dotty-java/src/main/scala/Spring.scala
[error] ## Exception when compiling 3 sources to /Users/jens/Development/dotty-java/target/scala-0.24/classes
[error] java.lang.AssertionError: assertion failed: asTerm called on not-a-Term val <none>
[error] dotty.DottyPredef$.assertFail(DottyPredef.scala:17)
[error] dotty.tools.dotc.core.Symbols$Symbol.asTerm(Symbols.scala:532)
[error] dotty.tools.dotc.transform.ExplicitOuter$.dotty$tools$dotc$transform$ExplicitOuter$$$outerParamAccessor(ExplicitOuter.scala:222)
[error] dotty.tools.dotc.transform.ExplicitOuter$OuterOps$.loop$1(ExplicitOuter.scala:405)
[error] dotty.tools.dotc.transform.ExplicitOuter$OuterOps$.path$extension(ExplicitOuter.scala:413)
[error] dotty.tools.dotc.transform.Erasure$Typer.typedThis(Erasure.scala:721)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2336)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2394)
[error] dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:124)
[error] dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2433)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2442)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2445)
[error] dotty.tools.dotc.transform.Erasure$Typer.typedSelect(Erasure.scala:640)
[error] dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2315)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2393)
[error] dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:124)
[error] dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2433)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2442)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2445)
[error] dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2556)
[error] dotty.tools.dotc.typer.Typer.typedDefDef(Typer.scala:1867)
[error] dotty.tools.dotc.transform.Erasure$Typer.typedDefDef(Erasure.scala:866)
[error] dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2322)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2393)
[error] dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:124)
[error] dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2433)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2442)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2445)
[error] dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:2467)
[error] dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2512)
[error] dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:953)
[error] dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:2003)
[error] dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2325)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2393)
[error] dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:124)
[error] dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2433)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2442)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2445)
[error] dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:2467)
[error] dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2512)
[error] dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:953)
[error] dotty.tools.dotc.typer.Typer.typedBlockStats(Typer.scala:849)
[error] dotty.tools.dotc.typer.Typer.typedBlock(Typer.scala:853)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2343)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2394)
[error] dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:124)
[error] dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2433)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2442)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2445)
[error] dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2556)
[error] dotty.tools.dotc.typer.Typer.typedDefDef(Typer.scala:1867)
[error] dotty.tools.dotc.transform.Erasure$Typer.typedDefDef(Erasure.scala:866)
[error] dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2322)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2393)
[error] dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:124)
[error] dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2433)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2442)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2445)
[error] dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:2467)
[error] dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2512)
[error] dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:953)
[error] dotty.tools.dotc.typer.Typer.typedClassDef(Typer.scala:2003)
[error] dotty.tools.dotc.typer.Typer.typedNamed$1(Typer.scala:2325)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2393)
[error] dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:124)
[error] dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2433)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2442)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2445)
[error] dotty.tools.dotc.typer.Typer.traverse$1(Typer.scala:2467)
[error] dotty.tools.dotc.typer.Typer.typedStats(Typer.scala:2512)
[error] dotty.tools.dotc.transform.Erasure$Typer.typedStats(Erasure.scala:953)
[error] dotty.tools.dotc.typer.Typer.typedPackageDef(Typer.scala:2129)
[error] dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:2366)
[error] dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:2394)
[error] dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:124)
[error] dotty.tools.dotc.typer.Typer.op$1(Typer.scala:2433)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2442)
[error] dotty.tools.dotc.typer.Typer.typed(Typer.scala:2445)
[error] dotty.tools.dotc.typer.Typer.typedExpr(Typer.scala:2556)
[error] dotty.tools.dotc.transform.Erasure.run(Erasure.scala:121)
[error] dotty.tools.dotc.core.Phases$Phase.runOn$$anonfun$1(Phases.scala:318)
[error] scala.collection.immutable.List.map(List.scala:223)
[error] dotty.tools.dotc.core.Phases$Phase.runOn(Phases.scala:319)
[error] dotty.tools.dotc.Run.runPhases$4$$anonfun$4(Run.scala:165)
[error] dotty.runtime.function.JProcedure1.apply(JProcedure1.java:15)
[error] dotty.runtime.function.JProcedure1.apply(JProcedure1.java:10)
[error] scala.collection.ArrayOps$.foreach$extension(ArrayOps.scala:1323)
[error] dotty.tools.dotc.Run.runPhases$5(Run.scala:175)
[error] dotty.tools.dotc.Run.compileUnits$$anonfun$1(Run.scala:183)
[error] dotty.runtime.function.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:12)
[error] dotty.tools.dotc.util.Stats$.maybeMonitored(Stats.scala:64)
[error] dotty.tools.dotc.Run.compileUnits(Run.scala:190)
[error] dotty.tools.dotc.Run.compileSources(Run.scala:127)
[error] dotty.tools.dotc.Run.compile(Run.scala:110)
[error] dotty.tools.dotc.Driver.doCompile(Driver.scala:38)
[error] dotty.tools.dotc.Driver.process(Driver.scala:194)
[error] dotty.tools.dotc.Main.process(Main.scala)
[error] xsbt.CachedCompilerImpl.run(CachedCompilerImpl.java:69)
[error] xsbt.CompilerInterface.run(CompilerInterface.java:41)
[error] java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
[error] java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
[error] java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
[error] java.base/java.lang.reflect.Method.invoke(Method.java:566)
[error] sbt.internal.inc.AnalyzingCompiler.call(AnalyzingCompiler.scala:248)
[error] sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:122)
[error] sbt.internal.inc.AnalyzingCompiler.compile(AnalyzingCompiler.scala:95)
[error] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$4(MixedAnalyzingCompiler.scala:91)
[error] scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.java:23)
[error] sbt.internal.inc.MixedAnalyzingCompiler.timed(MixedAnalyzingCompiler.scala:186)
[error] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$3(MixedAnalyzingCompiler.scala:82)
[error] sbt.internal.inc.MixedAnalyzingCompiler.$anonfun$compile$3$adapted(MixedAnalyzingCompiler.scala:77)
[error] sbt.internal.inc.JarUtils$.withPreviousJar(JarUtils.scala:215)
[error] sbt.internal.inc.MixedAnalyzingCompiler.compileScala$1(MixedAnalyzingCompiler.scala:77)
[error] sbt.internal.inc.MixedAnalyzingCompiler.compile(MixedAnalyzingCompiler.scala:146)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1(IncrementalCompilerImpl.scala:343)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileInternal$1$adapted(IncrementalCompilerImpl.scala:343)
[error] sbt.internal.inc.Incremental$.doCompile(Incremental.scala:120)
[error] sbt.internal.inc.Incremental$.$anonfun$compile$4(Incremental.scala:100)
[error] sbt.internal.inc.IncrementalCommon.recompileClasses(IncrementalCommon.scala:180)
[error] sbt.internal.inc.IncrementalCommon.cycle(IncrementalCommon.scala:98)
[error] sbt.internal.inc.Incremental$.$anonfun$compile$3(Incremental.scala:102)
[error] sbt.internal.inc.Incremental$.manageClassfiles(Incremental.scala:155)
[error] sbt.internal.inc.Incremental$.compile(Incremental.scala:92)
[error] sbt.internal.inc.IncrementalCompile$.apply(Compile.scala:75)
[error] sbt.internal.inc.IncrementalCompilerImpl.compileInternal(IncrementalCompilerImpl.scala:348)
[error] sbt.internal.inc.IncrementalCompilerImpl.$anonfun$compileIncrementally$1(IncrementalCompilerImpl.scala:301)
[error] sbt.internal.inc.IncrementalCompilerImpl.handleCompilationError(IncrementalCompilerImpl.scala:168)
[error] sbt.internal.inc.IncrementalCompilerImpl.compileIncrementally(IncrementalCompilerImpl.scala:248)
[error] sbt.internal.inc.IncrementalCompilerImpl.compile(IncrementalCompilerImpl.scala:74)
[error] sbt.Defaults$.compileIncrementalTaskImpl(Defaults.scala:1762)
[error] sbt.Defaults$.$anonfun$compileIncrementalTask$1(Defaults.scala:1735)
[error] scala.Function1.$anonfun$compose$1(Function1.scala:49)
[error] sbt.internal.util.$tilde$greater.$anonfun$$u2219$1(TypeFunctions.scala:62)
[error] sbt.std.Transform$$anon$4.work(Transform.scala:67)
[error] sbt.Execute.$anonfun$submit$2(Execute.scala:281)
[error] sbt.internal.util.ErrorHandling$.wideConvert(ErrorHandling.scala:19)
[error] sbt.Execute.work(Execute.scala:290)
[error] sbt.Execute.$anonfun$submit$1(Execute.scala:281)
[error] sbt.ConcurrentRestrictions$$anon$4.$anonfun$submitValid$1(ConcurrentRestrictions.scala:178)
[error] sbt.CompletionService$$anon$2.call(CompletionService.scala:37)
[error] java.base/java.util.concurrent.FutureTask.run(FutureTask.java:264)
[error] java.base/java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:515)
[error] java.base/java.util.concurrent.FutureTask.run(FutureTask.java:264)
[error] java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1128)
[error] java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:628)
[error] java.base/java.lang.Thread.run(Thread.java:834)
[error]            
[error] stack trace is suppressed; run last Compile / compileIncremental for the full output

[liufengyun]

Thanks a lot for your help @DieBauer . The minimized code:

class A(a: String) extends B(new C {
  override def get(): String = a
})

class B(c: C)

trait C {
  def get(): String
}