Search results

Extreme compile times in typelevel algorithms when using type aliases

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

typer

Status: Open.

#12527 In scala/bug;

· jdrphillips opened on Jan 29, 2022

· 

Backlog

TypeTag of path-dependent type cannot be inferred by the compiler

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

reflection

Status: Open.

#12113 In scala/bug;

· tribbloid opened on Aug 12, 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

Inconsistent type alias expansion

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

infer

should compile

Status: Open.

#10750 In scala/bug;

· carymrobbins opened on Feb 27, 2018

· 

Backlog

Compiler often infers java.lang.Object instead of scala.AnyRef

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

Status: Open.

#10025 In scala/bug;

· scabug opened on Nov 3, 2016

· 

Backlog

dealias is not working for Predef.String

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

reflection

Status: Open.

#9323 In scala/bug;

· scabug opened on May 22, 2015

· 

Backlog

dealiasing within existentialExtrapolation violates principle of least surprise and degrades type inference

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

tcpoly

typer

Status: Open.

#9156 In scala/bug;

· scabug opened on Feb 17, 2015

· 

Backlog

dealias on type lambdas is a landmine

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

Status: Open.

#8850 In scala/bug;

· scabug opened on Sep 17, 2014

· 

Backlog

Type inference does not dealias type constructors enough to infer type arguments

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

infer

Status: Open.

#8709 In scala/bug;

· scabug opened on Jul 6, 2014

· 

Backlog

Existential types and type aliases

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

regression

typer

Status: Open.

#8635 In scala/bug;

· scabug opened on May 29, 2014

· 

Backlog

Implicit search fails to expand type alias

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

infer

Status: Open.

#8286 In scala/bug;

· scabug opened on Feb 14, 2014

· 

Backlog

dealias types when looking for uncheckable outer checks

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

enhancement

patmat

usability

Status: Open.

#6813 In scala/bug;

· scabug opened on Dec 14, 2012

· 

Backlog