GitHub · Where software is built

Labels Milestones New issue

Implicit search recovering from ambiguity with worse candidate ?

#23270

· EugeneFlesselle opened

on May 27, 2025

Type inference issue

#22781

· gaeljw opened

on Mar 12, 2025

Type inference fails when matching a polymorphic case

area:union-types

#22685

· t9dupuy opened

on Feb 28, 2025

private[this] inference does not work for constructor parameters

#22620

· yaniskas opened

on Feb 17, 2025

Inference limitation when combining apply insertion and match type

#21838

· smarter opened

on Oct 23, 2024

Type Inference happens too soon (and incorrectly)

itype:enhancement

#21792

· coreywoodfield opened

on Oct 16, 2024

Inference failure with unconstrained type parameter

#20235

· lrytz opened

on Apr 19, 2024

Inconsistency in type inference from function parameters

#20114

· KuceraMartin opened

on Apr 6, 2024

Crash while compiling code

stat:needs minimization

#19852

· udalrich opened

on Mar 1, 2024

Unexpected widening of hard union of enum val cases to the enum class.

itype:language enhancement

#19823

· markehammons opened

on Feb 28, 2024

Excessively loose type inference

#19610

· Bersier opened

on Feb 4, 2024

inline implicit conversion infers <code>Nothing</code> for covariant types

itype:enhancement

#19388

· soronpo opened

on Jan 6, 2024