:type crash REPL

[newca12]

scala> import scala.collection._
scala> object IterableTest { def g[CC[_] <: Iterable[_] with IterableOps[_, _, _]](from: CC[Int]): IterableFactory[CC] = ??? }

give expected error but preceding with :type something crash the REPL

scala> :type 1
Int

scala> object IterableTest { def g[CC[_] <: Iterable[_] with IterableOps[_, _, _]](from: CC[Int]): IterableFactory[CC] = ??? }
Exception in thread "main" java.lang.AssertionError: assertion failed: denotation module class scala invalid in run 1. ValidFor: Period(1..2, run = 2)
	at dotty.DottyPredef$.assertFail(DottyPredef.scala:16)
	at dotty.tools.dotc.core.Denotations$SingleDenotation.updateValidity(Denotations.scala:817)
	at dotty.tools.dotc.core.Denotations$SingleDenotation.bringForward(Denotations.scala:844)
	at dotty.tools.dotc.core.Denotations$SingleDenotation.current(Denotations.scala:899)
	at dotty.tools.dotc.core.Symbols$Symbol.recomputeDenot(Symbols.scala:486)
	at dotty.tools.dotc.core.Symbols$Symbol.computeDenot(Symbols.scala:481)
	at dotty.tools.dotc.core.Symbols$Symbol.denot(Symbols.scala:475)
	at dotty.tools.dotc.core.Symbols$.toDenot(Symbols.scala:827)
	at dotty.tools.dotc.core.SymDenotations$SymDenotation.typeRef(SymDenotations.scala:1270)
	at dotty.tools.dotc.ast.untpd$.makeAndType(untpd.scala:429)
	at dotty.tools.dotc.parsing.Parsers$Parser.withTypeRest(Parsers.scala:1009)
	at dotty.tools.dotc.parsing.Parsers$Parser.withType(Parsers.scala:1002)
	at dotty.tools.dotc.parsing.Parsers$Parser.$init$$$anonfun$2(Parsers.scala:992)
	at dotty.tools.dotc.parsing.Parsers$Parser.infixType(Parsers.scala:981)
	at dotty.tools.dotc.parsing.Parsers$Parser.typ(Parsers.scala:955)
	at dotty.tools.dotc.parsing.Parsers$Parser.toplevelTyp(Parsers.scala:862)
	at dotty.tools.dotc.parsing.Parsers$Parser.bound(Parsers.scala:1189)
	at dotty.tools.dotc.parsing.Parsers$Parser.typeBounds(Parsers.scala:1186)
	at dotty.tools.dotc.parsing.Parsers$Parser.typeParamBounds(Parsers.scala:1195)
	at dotty.tools.dotc.parsing.Parsers$Parser.typeParam$1(Parsers.scala:2188)
	at dotty.tools.dotc.parsing.Parsers$Parser.typeParamClause$$anonfun$2$$anonfun$1(Parsers.scala:2192)
	at dotty.tools.dotc.parsing.Parsers$Parser.tokenSeparated(Parsers.scala:523)
	at dotty.tools.dotc.parsing.Parsers$Parser.commaSeparated(Parsers.scala:531)
	at dotty.tools.dotc.parsing.Parsers$Parser.typeParamClause$$anonfun$1(Parsers.scala:2192)
	at dotty.tools.dotc.parsing.Parsers$Parser.enclosed(Parsers.scala:503)
	at dotty.tools.dotc.parsing.Parsers$Parser.inBrackets(Parsers.scala:512)
	at dotty.tools.dotc.parsing.Parsers$Parser.typeParamClause(Parsers.scala:2193)
	at dotty.tools.dotc.parsing.Parsers$Parser.typeParamClauseOpt(Parsers.scala:2196)
	at dotty.tools.dotc.parsing.Parsers$Parser.defDefOrDcl(Parsers.scala:2567)
	at dotty.tools.dotc.parsing.Parsers$Parser.defOrDcl(Parsers.scala:2474)
	at dotty.tools.dotc.parsing.Parsers$Parser.templateStatSeq$$anonfun$1(Parsers.scala:3040)
	at dotty.tools.dotc.parsing.Parsers$Parser.checkNoEscapingPlaceholders(Parsers.scala:444)
	at dotty.tools.dotc.parsing.Parsers$Parser.templateStatSeq(Parsers.scala:3048)
	at dotty.tools.dotc.parsing.Parsers$Parser.$anonfun$26(Parsers.scala:2938)
	at dotty.tools.dotc.parsing.Parsers$Parser.enclosed(Parsers.scala:503)
	at dotty.tools.dotc.parsing.Parsers$Parser.inBraces(Parsers.scala:511)
	at dotty.tools.dotc.parsing.Parsers$Parser.inDefScopeBraces(Parsers.scala:516)
	at dotty.tools.dotc.parsing.Parsers$Parser.templateBody(Parsers.scala:2938)
	at dotty.tools.dotc.parsing.Parsers$Parser.templateBodyOpt(Parsers.scala:2933)
	at dotty.tools.dotc.parsing.Parsers$Parser.template(Parsers.scala:2916)
	at dotty.tools.dotc.parsing.Parsers$Parser.templateOpt(Parsers.scala:2924)
	at dotty.tools.dotc.parsing.Parsers$Parser.objectDefRest(Parsers.scala:2740)
	at dotty.tools.dotc.parsing.Parsers$Parser.objectDef(Parsers.scala:2736)
	at dotty.tools.dotc.parsing.Parsers$Parser.tmplDef(Parsers.scala:2694)
	at dotty.tools.dotc.parsing.Parsers$Parser.defOrDcl(Parsers.scala:2480)
	at dotty.tools.dotc.parsing.Parsers$Parser.localDef(Parsers.scala:3091)
	at dotty.tools.dotc.parsing.Parsers$Parser.blockStatSeq$$anonfun$1(Parsers.scala:3124)
	at dotty.tools.dotc.parsing.Parsers$Parser.checkNoEscapingPlaceholders(Parsers.scala:444)
	at dotty.tools.dotc.parsing.Parsers$Parser.blockStatSeq(Parsers.scala:3133)
	at dotty.tools.dotc.printing.SyntaxHighlighting$.highlight(SyntaxHighlighting.scala:121)
	at dotty.tools.repl.JLineTerminal$Highlighter.highlight(JLineTerminal.scala:76)
	at org.jline.reader.impl.LineReaderImpl.getHighlightedBuffer(LineReaderImpl.java:3633)
	at org.jline.reader.impl.LineReaderImpl.getDisplayedBufferWithPrompts(LineReaderImpl.java:3615)
	at org.jline.reader.impl.LineReaderImpl.redisplay(LineReaderImpl.java:3554)
	at org.jline.reader.impl.LineReaderImpl.redisplay(LineReaderImpl.java:3493)
	at org.jline.reader.impl.LineReaderImpl.readLine(LineReaderImpl.java:611)
	at org.jline.reader.impl.LineReaderImpl.readLine(LineReaderImpl.java:404)
	at dotty.tools.repl.JLineTerminal.readLine(JLineTerminal.scala:68)
	at dotty.tools.repl.ReplDriver.readLine$1(ReplDriver.scala:115)
	at dotty.tools.repl.ReplDriver.loop$1(ReplDriver.scala:125)
	at dotty.tools.repl.ReplDriver.runUntilQuit$$anonfun$1(ReplDriver.scala:130)
	at dotty.tools.repl.ReplDriver.withRedirectedOutput$$anonfun$2$$anonfun$1(ReplDriver.scala:143)
	at scala.util.DynamicVariable.withValue(DynamicVariable.scala:62)
	at scala.Console$.withErr(Console.scala:196)
	at dotty.tools.repl.ReplDriver.withRedirectedOutput$$anonfun$1(ReplDriver.scala:143)
	at scala.util.DynamicVariable.withValue(DynamicVariable.scala:62)
	at scala.Console$.withOut(Console.scala:167)
	at dotty.tools.repl.ReplDriver.withRedirectedOutput(ReplDriver.scala:143)
	at dotty.tools.repl.ReplDriver.runUntilQuit(ReplDriver.scala:130)
	at dotty.tools.repl.Main$.main(Main.scala:6)
	at dotty.tools.repl.Main.main(Main.scala)

[bishabosha]

This is fixed in master, or at least works with new collections

[nicolasstucki]

@bishabosha do we have a test for this? If not reopen the issue an close it by adding a regression test.

[bishabosha]

@nicolasstucki I've made a PR #8676