Type parameters via intersection types crash the compiler

Apparently the syntax class Cont[type A] has been removed. So I wrote this:

class Cont[A0](val x: A0) { type A = A0 }
val c: Cont[_] & { type A = Int } = new Cont(1)
c.x : Int

It fails to compile with “found: c.A0(c.x); required: Int”. So I tried this:

class Cont[A0](x0: A0) { type A = A0; val x: A = x0 }

But the compiler crashes with:

assertion failure for (Cont[_] & Object{A = Int})(c) <:< ?{ x: ? }, frozen = false
[info]
[info] (Cont[_] & Object{A = Int})(c) is a class dotty.tools.dotc.core.Types$TermRefWithFixedSym
[info]
[info] ?{ x: ? } is a class dotty.tools.dotc.typer.ProtoTypes$CachedSelectionProto
[info]
[info] exception occurred while typechecking src/main/scala/Main.scala
[info]
[info] exception occurred while compiling src/main/scala/Main.scala
java.lang.AssertionError: NoDenotation.owner
	at dotty.tools.dotc.core.SymDenotations$NoDenotation.owner(SymDenotations.scala:1816)

[smarter]

In theory I’d expect them to be equivalent yeah, in practice though, who knows ¯\_(ツ)_/¯

[LPTK]

Ok. I was confused by the output message exception while typing c.x of class class dotty.tools.dotc.ast.Trees$Select but now I see it’s raised from ReTyper.