GitHub · Where software is built

Labels Milestones New issue

False pattern match not exhaustive for union types + opaque types

area:opaque-types

area:pattern-matching

area:union-types

#23620

· road21 opened

on Jul 28, 2025

Nonsense opaque type definition crashes compiler

area:opaque-types

#23185

· jchyb opened

on May 19, 2025

Nonsense opaque type in extension crashes typer

area:extension-methods

area:opaque-types

#23036

· jchyb opened

on Apr 23, 2025

Incorrect exhaustivity warning when using opaque types with constraint and enums

area:opaque-types

area:pattern-matching

#22513

· eejbyfeldt opened

on Feb 4, 2025

Compiler creates Infinite loop when define extension of opaque type which references to other opaque type

area:opaque-types

#22393

· kazzna opened

on Jan 17, 2025

inline and opaque types, illegal given resolution

area:opaque-types

#22370

· road21 opened

on Jan 15, 2025

<code>undefined: ...proxy...</code> errors when inlining opaque types

area:opaque-types

#22359

· jchyb opened

on Jan 13, 2025

·

Underlying fields enumerated when inspecting opaque type

area:metaprogramming:reflection

area:opaque-types

#22143

· OndrejSpanel opened

on Dec 4, 2024

Opaque type parameter partially loses opacity when compiled separately

area:opaque-types

#21946

· gaelrenoux opened

on Nov 13, 2024

Opaque type with type parameter slot is never matched

area:opaque-types

#21889

· prolativ opened

on Nov 5, 2024

Inline methods of opaque types leave redundant proxies in byte code

area:opaque-types

itype:enhancement

#21334

· soronpo opened

on Aug 6, 2024

<code>Expr.summon</code> does not resolve opaque types

area:metaprogramming:quotes

area:opaque-types

#21199

· joan38 opened

on Jul 15, 2024