Search results

StackOverflowError in the compiler (Types$SingleType.equals)

compiler crash

dependent types

f-bounds

fixed in Scala 3This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/)This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/)

Status: Open.

#12191 In scala/bug;

· noresttherein opened on Oct 15, 2020

 ·  

Backlog

Compiler cannot identify the equivalence of two abstract types that resolves to identical symbol

dealiascompiler isn't dealiasing when it should, or vice versacompiler isn't dealiasing when it should, or vice versa

dependent types

fixed in Scala 3This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/)This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/)

Status: Open.

#12046 In scala/bug;

· tribbloid opened on Jun 20, 2020

 ·  

Backlog

Predef.implicitly TODO comment

dependent types

library

Status: Open.

#11124 In scala/bug;

· xuwei-k opened on Aug 30, 2018

 ·  

3.x

type Foo is a volatile type; cannot override a type with non-volatile upper bound

dependent types

should compile

typer

Status: Open.

#10665 In scala/bug;

· Atry opened on Dec 20, 2017

Some concrete dependent types are not properly expanded

dependent types

minimized

typer

Status: Open.

#10038 In scala/bug;

· scabug opened on Nov 10, 2016

Scaladoc should not expand the prefix of a dependent type

dependent types

scaladoc tool

Status: Open.

#10017 In scala/bug;

· scabug opened on Nov 1, 2016

 ·  

Backlog

Unable to convert inner.F to Inner#F if Inner is an abstract type

dependent types

typer

Status: Open.

#10008 In scala/bug;

· scabug opened on Oct 26, 2016

 ·  

Backlog

SAM type does not support dependent type

dependent types

enhancement

fixed in Scala 3This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/)This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/)

infer

typelevel

typer

Status: Open.

#9897 In scala/bug;

· scabug opened on Aug 20, 2016

 ·  

Backlog

Type inference does not work on methods using dependent types and parameters with default value

dependent types

infer

Status: Open.

#7234 In scala/bug;

· scabug opened on Mar 8, 2013

 ·  

Backlog

method argument not used for prefix of implicit argument

dependent types

fixed in Scala 3This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/)This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/)

implicit

infer

Status: Open.

#6892 In scala/bug;

· scabug opened on Dec 29, 2012

 ·  

Backlog

track values of implicit vals when types depend on it

dependent types

enhancement

fixed in Scala 3This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/)This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/)

infer

Status: Open.

#6139 In scala/bug;

· scabug opened on Jul 25, 2012

 ·  

Backlog

support dependent argument types for constructor parameter lists (in the same way as for methods)

dependent types

depmet

enhancement

fixed in Scala 3This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/)This issue does not exist in the Scala 3 compiler (https://github.com/lampepfl/dotty/)

has PR

minimized

should compile

typelevel

typer

Status: Open.

#5712 In scala/bug;

· scabug opened on Apr 26, 2012

 ·  

Backlog