Search results

Type inference involving getClass on private trait doesn't work

existential

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/)

help wanted

typer

Status: Open.

#12974 In scala/bug;

· palanga opened on Mar 25, 2024

 ·  

2.13.17

8 comments



existential subtyping confuses typevars created by withTypeVars and others

existential

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/)

typer

Status: Open.

#11480 In scala/bug;

· adriaanm opened on Apr 10, 2019

 ·  

Backlog

2 comments

Passing bounded types as a wildcard

existential

usability

Status: Open.

#10371 In scala/bug;

· tindzk opened on Jun 15, 2017

2 comments

should compile - existential combined with f bounded polymorphism

existential

patmat

Status: Open.

#10300 In scala/bug;

· jhegedus42 opened on May 5, 2017

2 comments

Existential type not stable

existential

Status: Open.

#10273 In scala/bug;

· TomasMikula opened on Apr 22, 2017

 ·  

Backlog

3 comments

False positive warning when returning a tuple of wildcard type

existential

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.

#10142 In scala/bug;

· scabug opened on Jan 11, 2017

 ·  

Backlog

1 comment

Typecheck failed if an existential type is inlined

existential

Status: Open.

#10039 In scala/bug;

· scabug opened on Nov 10, 2016

1 comment

skolemize singleton-typed existentials and improve error message

existential

Status: Open.

#12208 In scala/bug;

· adriaanm opened on Aug 23, 2016

 ·  

Backlog

2 comments

dropExistential insufficient when an existential quantifier is bounded by another

existential

Status: Open.

#11363 In scala/bug;

· retronym opened on Jul 6, 2016

 ·  

Backlog

1 comment

Existential type exhaustiveness

existential

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/)

patmat

Status: Open.

#9801 In scala/bug;

· scabug opened on Jun 3, 2016

 ·  

Backlog

1 comment

Wildcard capture goes wrong on nested wildcard

existential

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

should not compile

Status: Open.

#9419 In scala/bug;

· scabug opened on Jul 28, 2015

 ·  

Backlog

1

7 comments

forSome scope introduction conflates distinct types

existential

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/)

should not compile

typer

Status: Open.

#9410 In scala/bug;

· scabug opened on Jul 19, 2015

 ·  

Backlog

1 comment

can't existentially abstract over parameterized type F

existential

tcpoly

typer

Status: Open.

#9281 In scala/bug;

· scabug opened on Apr 24, 2015

 ·  

Backlog

1 comment

problems existentially quantifying prefix of a module type

existential

typer

Status: Open.

#8419 In scala/bug;

· scabug opened on Mar 16, 2014

 ·  

Backlog

5 comments

F-bounds of existential types aren't inferred

existential

f-bounds

infer

Status: Open.

#8198 In scala/bug;

· scabug opened on Jan 29, 2014

 ·  

Backlog

1 comment

support name-based extractors with existential-returning unapply/unapplySeq

existential

patmat

Status: Open.

#8149 In scala/bug;

· scabug opened on Jan 14, 2014

 ·  

Backlog

1 comment

existential scoping is hopelessly broken

existential

typer

Status: Open.

#7730 In scala/bug;

· scabug opened on Aug 9, 2013

 ·  

Backlog

4 comments



variance validation is buggy

existential

Status: Open.

#7536 In scala/bug;

· scabug opened on May 30, 2013

 ·  

Backlog

6 comments

approximate existential types when checking pattern conformance

existential

patmat

Status: Open.

#6587 In scala/bug;

· scabug opened on Oct 30, 2012

 ·  

Backlog

3 comments

Compiler stack overflow when using Manifest with recursive existential types

compiler crash

existential

f-bounds

typer

Status: Open.

#6255 In scala/bug;

· scabug opened on Aug 18, 2012

 ·  

Backlog

6 comments

correct extrapolation for existential in contravariant position

existential

infer

typer

Status: Open.

#4880 In scala/bug;

· scabug opened on Aug 6, 2011

 ·  

Backlog

3 comments

existentials in structural type signatures

existential

structural types

typer

Status: Open.

#4867 In scala/bug;

· scabug opened on Aug 2, 2011

 ·  

Backlog

1 comment

Existential type does not conform to itself

existential

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.

#2071 In scala/bug;

· scabug opened on Jun 18, 2009

 ·  

Backlog

5 comments

Cannot match with a bare type variable

existential

patmat

Status: Open.

#621 In scala/bug;

· scabug opened on Mar 9, 2008

 ·  

Backlog

8 comments

Potential existential variable escape

existential

Status: Open.

#481 In scala/bug;

· scabug opened on Feb 14, 2008

 ·  

Backlog

3 comments