Skip to content

Null expanded as a _* with Ycheck:all #5039

Closed
@sir-wabbit

Description

@sir-wabbit
// -Ycheck:all
class I0{List(null:_*)}
checking AE-c00f7074d074a942f48e3e24845e7f7054b76b69.scala after phase frontend
exception while typing List.apply[Nothing](null: Null) of class class dotty.tools.dotc.ast.Trees$Apply # 110
exception while typing class I0() extends Object() { 
  List.apply[Nothing](null: Null)
} of class class dotty.tools.dotc.ast.Trees$TypeDef # 112
exception while typing package <empty> {
  class I0() extends Object() { 
    List.apply[Nothing](null: Null)
  }
} of class class dotty.tools.dotc.ast.Trees$PackageDef # 113
*** error while checking AE-c00f7074d074a942f48e3e24845e7f7054b76b69.scala after phase frontend ***
exception occurred while compiling AE-c00f7074d074a942f48e3e24845e7f7054b76b69.scala
Exception in thread "main" java.lang.AssertionError: assertion failed: found:    Null
required: Nothing


tree = null: Null
	at dotty.DottyPredef$.assertFail(DottyPredef.scala:38)
	at dotty.tools.dotc.transform.TreeChecker$Checker.adapt(TreeChecker.scala:460)
	at dotty.tools.dotc.typer.ProtoTypes$FunProto.typedArg(ProtoTypes.scala:312)
	at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:664)
	at dotty.tools.dotc.typer.Applications$ApplyToUntyped.typedArg(Applications.scala:664)
	at dotty.tools.dotc.typer.Applications$Application.$anonfun$4$$anonfun$1(Applications.scala:465)
	at scala.collection.immutable.List.map(List.scala:283)
	at dotty.tools.dotc.typer.Applications$Application.$anonfun$2(Applications.scala:465)
	at dotty.tools.dotc.typer.Applications.harmonic(Applications.scala:1568)
	at dotty.tools.dotc.typer.Applications$Application.matchArgs(Applications.scala:465)
	at dotty.tools.dotc.typer.Applications$Application.init(Applications.scala:256)
	at dotty.tools.dotc.typer.Applications$TypedApply.<init>(Applications.scala:565)
	at dotty.tools.dotc.typer.Applications$ApplyToUntyped.<init>(Applications.scala:663)
	at dotty.tools.dotc.typer.Applications.simpleApply$1(Applications.scala:723)
	at dotty.tools.dotc.typer.Applications.realApply$4$$anonfun$3(Applications.scala:748)
	at dotty.tools.dotc.typer.Typer.tryEither(Typer.scala:1984)
	at dotty.tools.dotc.typer.Applications.realApply$1(Applications.scala:759)
	at dotty.tools.dotc.typer.Applications.typedApply(Applications.scala:794)
	at dotty.tools.dotc.typer.Typer.typedUnnamed$1(Typer.scala:1818)
	at dotty.tools.dotc.typer.Typer.typedUnadapted(Typer.scala:1869)
	at dotty.tools.dotc.typer.ReTyper.typedUnadapted(ReTyper.scala:112)

AE-c00f7074d074a942f48e3e24845e7f7054b76b69

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions