GitHub · Where software is built

Labels Milestones New issue

Union and Intersection types are inferred when they should not

area:union-types

#22720

· by goshacodes was closed

on Mar 6, 2025

Recursive given not working

#18267

· by andrelfpinto was closed

on Aug 8, 2023

Scala 3 infers <code>Any</code> where Scala 2 refused to infer at all

#16446

· by biuld was closed

on Dec 1, 2022

Unexpected "java.lang.ClassCastException: Cannot cast to scala.Nothing"

#16503

· by satorg was closed

on Dec 13, 2022

Reasoning with 'Option(null)' as a number 0 and type inference

itype:enhancement

#16880

· by FabioPinheiro was closed

on Feb 10, 2023

Ambiguous given instances despite inferrable type variable.

#16356

· by adampauls was closed

on Nov 21, 2022

Error about Contextual function's parameter refer to its synthetic name without explantation

#18188

· by Sporarum was closed

on Oct 30, 2023

Wrong type inference within implicit resolution

#18578

· by KuceraMartin was closed

on Jan 30, 2024

Singleton constrain should infer literal type

area:experimental:modularity

itype:enhancement

#24252

· by mwisnicki was closed

on Oct 27, 2025

Opaque type not transparent in its defining scope, when referred to via qualified name

area:opaque-types

#19609

· by TomasMikula was closed

on Jun 12, 2024

·

Scala 2 regression: type inference widens type too much for an overridden member

#16868

· by myazinn was closed

on Feb 10, 2023