Closed sir-wabbit closed 5 years ago
smarter
commented
6 years ago IN 70a87d879bff85bdad921c0feca802ca2bfc974d.scala java.lang.AssertionError: assertion failed: data race? overwriting type i6 with type i6 in type TypeRef(TypeRef(ThisType(TypeRef(ThisType(TypeRef(NoPrefix,module class
)),module class i0$)),type i4),type i6),
I wasn't able to reproduce this one on master, for me compilation stops normally after 19 errors, are you using any compiler flag?
sir-wabbit
commented
6 years ago No, I tested them using
class CompilationTests2 extends ParallelTesting {
import ParallelTesting._
import TestConfiguration._
import CompilationTests2._
// Test suite configuration --------------------------------------------------
def maxDuration = 30.seconds
def numberOfSlaves = 5
def safeMode = Properties.testsSafeMode
def isInteractive = SummaryReport.isInteractive
def testFilter = Properties.testsFilter
// Positive tests ------------------------------------------------------------
// Run tests -----------------------------------------------------------------
@Test def runAll: Unit = {
implicit val testGroup: TestGroup = TestGroup("runAll")
compileFilesInDir("tests/result", defaultOptions)
}.checkRuns()
...
}Oh I see, it needs -Yno-double-bindings to crash, which is one of the flags we use in our test suite. (https://github.com/lampepfl/dotty/blob/master/compiler/test/dotty/tools/vulpix/TestConfiguration.scala)
sir-wabbit
commented
6 years ago Another one:
object i0 {
(null: String) match {
case (i1: Int |) => false
isInstanceOf lazy 4 | (_: Any) =>
println()
case i2() => extends _
case _ =>
case i3: String => Set[Int](new i1())
def this(i1: Int, i2: Int, i4: Int) = 0
case _ =>
}
}exception occurred while compiling
IN 0d3d32f4bfeedb17806fb4384e69a62353f26377.scala
java.lang.ClassCastException: dotty.tools.dotc.core.Types$CachedTypeRef cannot be cast to dotty.tools.dotc.core.Types$TermRef
at dotty.tools.dotc.core.Types$TermRef$.apply(Types.scala:2150)
at dotty.tools.dotc.core.SymDenotations$SymDenotation.termRef(SymDenotations.scala:1167)
at dotty.tools.dotc.typer.Typer.$anonfun$typedClassDef$1(Typer.scala:1538)
at dotty.tools.dotc.util.Stats$.track(Stats.scala:35)Same stack trace as eff46343d34261c03ec1223a254a3d39587f8d96.scala so same issue probably.
sir-wabbit
commented
6 years ago object i0 {
def i1() = {
var i2: Any = new Array[this]()
i2.i5(0) += 123
val i6: 3 = 'i2('i219, 'i3')
i16 = 2 }
object i19 {
def i15(i12: => Any): String = 1
}IN cb3ee9bdc9fb731e8e0c244511569c5790d59917.scala
dotty.tools.dotc.ast.Trees$UnAssignedTypeException: type of Literal(Constant(0)) is not assigned
at dotty.tools.dotc.ast.Trees$Tree.tpe(Trees.scala:96)
at dotty.tools.dotc.ast.tpd$.sameTypes(tpd.scala:1007)
at dotty.tools.dotc.ast.tpd$TypedTreeCopier.Apply(tpd.scala:500)
at dotty.tools.dotc.typer.Lifter.liftAssigned(EtaExpansion.scala:62)Maybe this is the same problem as in eff46343d34261c03ec1223a254a3d39587f8d96, but stacktraces are a bit different.
class i0 {
private var main(i1: String): Unit = {
class i2 extends AnyRef {
def i3 = 0
}
def this() = { this(i4); i3 }
}
}IN c9aee3837da3f3ed3b5027953922b89ead5aee96.scala
java.lang.ClassCastException: dotty.tools.dotc.core.Types$CachedTypeRef cannot be cast to dotty.tools.do
tc.core.Types$TermRef
at dotty.tools.dotc.core.Types$TermRef$.apply(Types.scala:2150)
at dotty.tools.dotc.core.Types$TermRef$.apply(Types.scala:2156)
at dotty.tools.dotc.core.Types$NamedType$.apply(Types.scala:2142)
at dotty.tools.dotc.core.Types$Type.select(Types.scala:1166)class i0 {
type Ordering[i1, i2] = (=> i3[i1])
def i4[i2, i3](i5: i1): i4[Any]
i8 += i14 {
type i4[+i9] = i5
def i7: Int = i6(5)
class i9[i10 <: i16 <: i4[_], i12](val i14: i11[_], i4: i11) {
def i16[i14 >: i1]: i0 = ???
implicit def i13[i4](i5: (=> i6)): i1[i6]
type i13[i7] = i13[i7]
def i8[+i1[+i2] <: i0[i1]]](i9: => ii5[i7]): i7[i5] = sys.error();
def i10(i11: i4[i10.i4])(implicit i8: i0[i6#i0]) = i4 * i7 i5 i4! this match {
case i14(i9) => 3 }
}
class i10 {
type i13 = i10.i8
val i11 =
var i21 =
case class Tuple1(i3: i1, i4: i4, i6)
}
(new i10(i13))
}
}
package i1.i0
object i12 {
def i9(i10: i1)(implicit i9: i8[Boolean]) = implicitly[i9](i10: Any, i4, i9) {}
case class i9[i14[i2]](i16: i11[i8[i2]]) extends i10[i4, i14] {
def this(i11: i12) = {
val i5 = new i5[Int, Int]
}
}IN 4954cd0302868e2d083c9b996c467b14ff868f28.scala
java.lang.AssertionError: assertion failed: found: implicitly[i9](Tuple3.apply[Any, Nothing, Nothing](i10: Any, i4, i9)): i1.i0.i12.i9, expected: ?{ apply: ? }
at scala.Predef$.assert(Predef.scala:219)
at dotty.tools.dotc.typer.Implicits$ImplicitSearch.<init>(Implicits.scala:847)
at dotty.tools.dotc.typer.Implicits.$anonfun$inferImplicit$4(Implicits.scala:816)
at dotty.tools.dotc.reporting.trace$.op1$3(trace.scala:32)import
object i0 {
def i1[i2[_]](implicit i3: i2[Int]) = ()
i1(()) }IN dc3c9176fadf2312a5d6627ae6c3644d6a99c29e.scala
java.lang.AssertionError: assertion failed: position error: position not set for Ident(<empty>) # 1673268
at scala.Predef$.assert(Predef.scala:219)
at dotty.tools.dotc.ast.Positioned.check$1(Positioned.scala:179)
at dotty.tools.dotc.ast.Positioned.checkPos(Positioned.scala:216)
at dotty.tools.dotc.typer.FrontEnd.$anonfun$parse$1(FrontEnd.scala:49)abstract class i0 {
def i1(i2: Int)(i3: Int): Int
<i1> tailrec match {
case i2: i2[Int] => 15
case '- ' ' =>
new i1(42)
}IN bafb78b5b24ce0f0f6e6d9beff7d08577995613d.scala
java.lang.AssertionError: assertion failed: position error, parent position does not contain child positon
parent = PostfixOp(Literal(Constant(null)),Ident(i2)),
parent position = [120..121],
child = Literal(Constant(null)),
child position = <76..76>object i0 {
def unapply(i1: Int)(i6: List[Int]): Int = {
case _ => case _ { if (true) i6 } }
def i7(i8: i0) = i1 match {
case i0(_) =>
(i1, i8) match {
case i0(i1, i1) => case _ => i2
}
}
object i5 {
import collection.mutable._
try { ??? mutable { case i1(i5, i3, i4) => i5 })
}IN 7de4dfdc25b8989dd8f6098452b883927cb4be14.scala
scala.MatchError: Block(List(DefDef($anonfun,List(),List(List(ValDef(i6,TypeTree[AppliedType(TypeRef(ThisType(TypeRef(NoPrefix,module class immutable)),class List),List(TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module scala),class Int)))],EmptyTree))),TypeTree[TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),module scala),class Int)],Apply(Apply(Select(Ident(i0),unapply),List(Literal(Constant(null)))),List(Ident(i6))))),Closure(List(),Ident($anonfun),EmptyTree)) (of class dotty.tools.dotc.ast.Trees$Block)
at dotty.tools.dotc.typer.Applications.unapplyImplicits$1(Applications.scala:969)
at dotty.tools.dotc.typer.Applications.$anonfun$typedUnApply$1(Applications.scala:993)
at dotty.tools.dotc.util.Stats$.track(Stats.scala:35)
at dotty.tools.dotc.typer.Applications.typedUnApply(Applications.scala:841)case class i0[i1, i4](i4: i1)
object i4 {
implicit def i4[i1: i0](i4: i1): i1
def i4[i4[_], i4[_], i4[i4]](i4: i1[i4]): i4[i4] = null
}
class i1 extends i4 {
case _ =>
}
val i1 = new i0 {
type i1[i4] = i4 with i0[i4]
trait i1 extends i4 {
type i1[i4] = i1 type i4 = i4#i4 def i4[i4 >: i4](i4: => i4): i4.i4[_ <: i4] = i4
i4(i1, i4: i4)
def unapply(i2: i4) = sys.error("")
}
trait i4
trait throw {
val i3: i4 = i4(5, i1: i1,
i4: i4)
def i3: i4[Int] = i1(null: Any) i3(0, i1())
println(i3 <= i4)
}
object i1 {
implicit def i1(i4: i4): Int
def i1[@specialized i4 <: i4[i4]](i1: i4): i4[Int]
def i1[@specialized i4, i4 <: i1](i4: i4): i4[i1[i4]] = new i4[i1] {
val i1 = (new i2.i1
}
}IN aa9329208e83b050befe7a57f33d5904a2d7e058.scala
java.lang.ClassCastException: dotty.tools.dotc.core.Types$CachedMethodType cannot be cast to dotty.tools.dotc.core.Types$TypeLambda
at dotty.tools.dotc.core.Types$TypeParamRef.copyBoundType(Types.scala:3286)
at dotty.tools.dotc.core.Substituters.subst(Substituters.scala:13)
at dotty.tools.dotc.core.Substituters.subst$(Substituters.scala:10)
at dotty.tools.dotc.core.Contexts$Context.subst(Contexts.scala:71)package i0
trait i0 {
type i0
type i0[i1] = { def I2 = if (I2) i0 }
println( + I2 + i1)
}
object I2 {
def I2(I2: String): Boolean = ???
inline def List(i1: String, val I2: Int) = 1
}IN c3bf685ae60bfb5a8f56c5b9578909e5145f0bb8.scala
java.lang.AssertionError: assertion failed
at scala.Predef$.assert(Predef.scala:204)
at dotty.tools.dotc.core.TypeOps.dominators$1(TypeOps.scala:143)
at dotty.tools.dotc.core.TypeOps.approximateOr$1(TypeOps.scala:200)
at dotty.tools.dotc.core.TypeOps.orDominator(TypeOps.scala:210)possibly a duplicate of #4370
class i0 {
type i1 = {
override def toString <: i2
def i2: i0 { type i2 = i1 } = i2.i2 }
}
trait i2 {
type i1
def i2[i2](i2: i2): i0[i2]
}
new i2[i2] {
type i2 = i2[i2]
val i2: i0[_] & i2[i2] = Nil
}
class i2[i2] {
def i2(i2: Function1[i1[_]]): Either[Dynamic] = i2
def i2[i2 <: String](implicitly: i2[_]): i2[i2] = null
}
object i2 {
val i2: Seq[_] = sys.error("")
val i2 = Seq(new i2)
Console.println(i2[i2].i2)
}IN 2c27289a8eb7deb6485d9991ef63d597a729
f5e1.scala
java.lang.StackOverflowError
at dotty.tools.dotc.core.SymDenotations$SymDenotation.isType(SymDenotations.scala:439)
at dotty.tools.dotc.core.SymDenotations$SymDenotation.isAbstractOrAliasType(SymDenotations.scala:540)
at dotty.tools.dotc.core.SymDenotations$SymDenotation.isAliasType(SymDenotations.scala:537)
at dotty.tools.dotc.typer.VarianceChecker$Validator$.$anonfun$apply$2(VarianceChecker.scala:90)<iI6>{I6}#I6{}
val I3 = new I2 with i0[Any]((I6: Int) I6> new toInt) implicit def I3[i5[_]]( I2: I2[I6, I6])#I2[I6]] = ???
def I2[I6 <: I1] = new i0[I6] {
def I6(scala.I6: Array[I1]) = {
val i5 = None
I6 = i5.asInstanceOf[Double]
}
I2.I6 == if (!I2.I6 =!= +I6' + I6 + I6 - 10) || I4 == true
case None => !1
def this() = 1
}
trait i5 {
type I2 >: Null
def I6( I2: List[Long, Nothing] = ???
I6(I6) +=( I6)
}
private var I6 extends i0[I6, I6] with I6[Int] {
var I2: I1[Option] = I6 with Dynamic {
val I1 = new Array[Nothing](1, 2)
}IN 6302a4a20a03cdae0e22b2efae2cb3ca50133543.scala
dotty.tools.dotc.ast.Trees$UnAssignedTypeException: type of Ident(I6) is not assigned
at dotty.tools.dotc.ast.Trees$Tree.tpe(Trees.scala:96)
at dotty.tools.dotc.ast.TypedTreeInfo.refPurity(TreeInfo.scala:402)
at dotty.tools.dotc.ast.TypedTreeInfo.refPurity$(TreeInfo.scala:401)
at dotty.tools.dotc.ast.tpd$.refPurity(tpd.scala:21)class i0[i1]
class i1 extends i0[Int]
object i0 {
implicit val i2: i1 { type i1 = i1; object i2 {}
def i2[i1, i2 <: i1 <: i0[i2]](implicit i2: i1): i0 { type i2 = i1; }
trait i2[+i2[i2]] {
def i2[i2[i2] <: i0[i2], i2](i2: i0[i2]): i2[i2] =
i1 match {
case i1: i2[i2] => i2
case i2: i2[i2] => i2
}
}IN d7eb8e3848449aee365b2c0b7b7ffaca742e8f38.scala
java.lang.ClassCastException: dotty.tools.dotc.core.Types$LambdaParam cannot be cast to dotty.tools.dotc.core.Symbols$Symbol
at dotty.tools.dotc.core.TypeComparer.compareCaptured$1(TypeComparer.scala:884)
at dotty.tools.dotc.core.TypeComparer.isSubArg$1(TypeComparer.scala:896)
at dotty.tools.dotc.core.TypeComparer.isSubArgs(TypeComparer.scala:905)
at dotty.tools.dotc.core.TypeComparer.isMatchingApply$1(TypeComparer.scala:685)object i0 {
abstract class i0[i0, i0, i0, i0] {
val I1 = new i0
val I1: Int = I1 {
val I1 = I1
}
}
object I1 {
def I1[I1 >: i0, I1 >: I1]: i0[i0, I1] = i0[i0]
def I1() i0 = i0
import I1.i0()
}
}
trait I1[-I1, +i0[i0 <: I1] <: I1#i0[(i0, I1, I1], I1 <: i0)] {}
class I1 {}
object i0 {
type i0[i0] <: i0[i0, I1]]
}
trait I1
class I1 extends i0IN e293c442ee95a3e332eadee8f1db16ef8164a3e7.scala
java.lang.AssertionError: assertion failed
at scala.Predef$.assert(Predef.scala:204)
at dotty.tools.dotc.core.ConstraintHandling.addToConstraint(ConstraintHandling.scala:339)
at dotty.tools.dotc.core.ConstraintHandling.addToConstraint$(ConstraintHandling.scala:335)
at dotty.tools.dotc.core.TypeComparer.addToConstraint(TypeComparer.scala:19)object i0 {
class i0 {}
case class I2() {}
}
(I2 _*)
}
trait I2[I2] {
val I2: I2
type I2 = super.I2
}
class I2[I2] { class I2 extends i0[I2]
}
class I2 {
def I2[I2 <: I2](implicit I2: I2 => I2): i0 = ???
I2() }
class I2 extends { lazy val I2 = this type i0 }
trait i0 extends i0 with I2 {
I2: I2 =>
}
implicit def I1: I2[I2] = collection.I2
}
object i0 {
val I2 = new I2
}IN 078764bace3d0ed6f71b61b2ede433467ec0ce69.scala
java.lang.AssertionError: assertion failed: I2 & i0 / HKTypeLambda(List(I2), List(TypeBounds(TypeRef(ThisType(TypeRef(NoPrefix,module class scala)),class Nothing),TypeRef(ThisType(TypeRef(NoPrefix,module class scala)),class Any))), AppliedType(TypeRef(ThisType(TypeRef(NoPrefix,module class <empty>)),class I2),List(TypeParamRef(I2)))) & TypeRef(ThisType(TypeRef(NoPrefix,module class <empty>)),class i0)
at scala.Predef$.assert(Predef.scala:219)
at dotty.tools.dotc.core.Types$AndType$.apply(Types.scala:2482)
at dotty.tools.dotc.core.Types$ClassInfo.selfType(Types.scala:3482)
at dotty.tools.dotc.core.Types$ThisType.underlying(Types.scala:2188)object i0 {
def I1[i6](i6: I1)(implicit i6: i6 => Boolean = this, i6: Int) = 0
val i6 = I1(i6[String] )
def i6[i6 <: i6](implicit i6: i6[i6], i6: i6[i6]): i6[i6] = i6
def i6[i6](i6: i6[i6]): i6[i6] = Nil
def i6[i6](i6: List[I1]): i6[I1, i6] = new I1[i6]
def i6[I1: i6, I1](I1: i2 => Seq[i6]) match {
case i6 => I1 match {
case i6' | I1(i6) < 2
}
def i6[@specialized I1, i2 >: i2, I1, i6, i2, i3, I4, i2, i2, i2, i3, I4, i5, i2, i6, i6](i2: i6, i6: I1, I4: i6)(i5: i6[I1, I1, i6, i6, i6, i6, i6, i6 <1, i6, i3, I4, i6, i6, i6, I1, I1, i2, i2, i2 i3, I4, i6, i6, i6] => I1): i6
}
class i6[i6](val i6: i6[_]) {
def I1[@specialized i6: i6](i6: String) = i6(i6); i2(_) { implicit I1: i6[new] }
def i2(i3: I1): i6 { type I1 = I1[i6]
type I1 = i6[i6]
override case val I1: i6[(i6, i6)]) = i6 match {
case i6: I1[_] =>
}
}IN 66e3f7dad3eb7aad64091d85ab7a4d63b5f6ec80.scala
java.lang.AssertionError: assertion failed: non-existent getter denotation (val <none>) for getter(I1$default$3)
at scala.Predef$.assert(Predef.scala:219)
at dotty.tools.dotc.typer.Applications$Application.findGetter$1(Applications.scala:370)
at dotty.tools.dotc.typer.Applications$Application.findDefaultGetter(Applications.scala:375)
at dotty.tools.dotc.typer.Applications$Application.tryDefault$1(Applications.scala:430)class i0[@specialized i0] {
def i1: i0
}
trait main extends i0 {
class i1 {}
var i1 = 0
var i1 = new i1
}exception occurred while compiling /home/alex/ws/dotty/tests/result/38c24d1dcf977c3b5928b2894ad7d6ccb2f7
4764.scala
java.lang.AssertionError: assertion failed: bad parameter reference main.this.i0 at frontend
the parameter is type i0 in class i0 but the prefix main(main.this)
does not define any corresponding arguments.
at scala.Predef$.assert(Predef.scala:219)
at dotty.tools.dotc.core.Types$NamedType.argDenot(Types.scala:1808)import language.i0
@scala.AnyRef
object i1 {
def i2(i3: String) = 2
def I4(i3: String): Any = None
trait i5 {}
def I6[i7 <: _[_]](i7: i7[i7])(implicit i7: i5[i7]): i7 = i2 + i2 + + i1() yield i7
i2(i5, this)
}exception occurred while compiling /home/alex/ws/dotty/tests/result/319ce54456a9712e71c3fd6d9aa2eaf9d8c0c903.scala
java.lang.AssertionError: assertion failed: TypeBounds(TypeRef(ThisType(TypeRef(NoPrefix,module class sc
ala)),class Nothing),TypeRef(ThisType(TypeRef(NoPrefix,module class scala)),class Any))
at scala.Predef$.assert(Predef.scala:219)
at dotty.tools.dotc.core.Types$TypeBounds.<init>(Types.scala:3566)
at dotty.tools.dotc.core.Types$RealTypeBounds.<init>(Types.scala:3625)
at dotty.tools.dotc.core.Types$TypeBounds$.apply(Types.scala:3652)
odersky
commented
6 years ago Oh I see, it needs -Yno-double-bindings to crash, which is one of the flags we use in our test suite. (https://github.com/lampepfl/dotty/blob/master/compiler/test/dotty/tools/vulpix/TestConfiguration.scala)
Note: Tests that introduce double definitions need to be compiled without -Tno-double-bindings. Make them a neg test in neg-custom-args.
odersky
commented
6 years ago It would be great if we could get minimized test cases in the comments. No need to file separate issues for them. Just list each code snippet in a separate comment. If they are presented like this, they should be easy & fast to fix. Otherwise, the ceremony of issues and bug fixes is crushing.
sir-wabbit
commented
6 years ago sir-wabbit
commented
6 years ago
All files were generated using https://github.com/alexknvl/fuzzball
https://files.gitter.im/lampepfl/dotty/dWPj/exc-files.zip
There could be some duplicates. Most snippets have syntax errors in them. Feel free to create separate issues for individual bugs and reference them here, I'll update the list.
https://github.com/lampepfl/dotty/issues/4377 - already reported
https://github.com/lampepfl/dotty/issues/4373 - already reported
https://github.com/lampepfl/dotty/issues/4370 - already reported