Search results

Boolean extractors force awkward @-pattern syntax

area:pattern-matching

Status: Closed (completed).

#6021 In scala/scala3;

· by milessabin was closed on Mar 18, 2019

A type test on an opaque type test leads to an incorrect "cannot be checked at runtime" warning

area:pattern-matching

itype:bug

Status: Closed (completed).

#7308 In scala/scala3;

· by smarter was closed on Sep 24, 2019

Returning a non-tuple into a val pattern match compiles

area:pattern-matching

area:typer

itype:bug

Status: Closed (completed).

#14472 In scala/scala3;

· by Daenyth was closed on Mar 13, 2022

Misleading warning "Unreachable case except for null" (and one more issue)

area:pattern-matching

itype:bug

Status: Closed (completed).

#15661 In scala/scala3;

· by strelec was closed on Jan 15, 2024

· 

3.4.1

<code>def unapply(implicit ev: T)</code> no longer works in pattern matching

area:pattern-matching

itype:bug

Status: Not planned (skipped).

#23499 In scala/scala3;

· by WojciechMazur was closed on Jul 16, 2025

Prevent Pattern Match Exhaustivity Warning for <code>transparent</code>

area:pattern-matching

itype:bug

Status: Closed (completed).

#4863 In scala/scala3;

· by eaplatanios was closed on Apr 15, 2019

Spurious Exhaustivity Warning

area:pattern-matching

itype:bug

Status: Not planned (skipped).

#23284 In scala/scala3;

· by odersky was closed on May 30, 2025

stackoverflow in space engine with epfl-lara/lisa and 3.3.0-RC6

area:pattern-matching

itype:bug

itype:crash

regressionThis worked in a previous version but doesn't anymoreThis worked in a previous version but doesn't anymore

stat:needs minimizationNeeds a self contained minimizationNeeds a self contained minimization

stat:needs triageEvery issue needs to have an "area" and "itype" labelEvery issue needs to have an "area" and "itype" label

Status: Closed (completed).

#17562 In scala/scala3;

· by bishabosha was closed on Dec 18, 2023

inconsistency between path-dependent and projection type matching

area:pattern-matching

itype:bug

Status: Closed (completed).

#16728 In scala/scala3;

· by ftucky was closed on Mar 27, 2023

· 

3.3.1

No compile time avoidance of mismatched outers

area:pattern-matching

itype:bug

Status: Closed (completed).

#12879 In scala/scala3;

· by som-snytt was closed on Jun 18, 2021

False pattern match not exhaustive for union types + opaque types

area:opaque-types

area:pattern-matching

area:reportingError reporting including formatting, implicit suggestions, etcError reporting including formatting, implicit suggestions, etc

area:union-typesIssues tied to union types.Issues tied to union types.

itype:bug

Status: Closed (completed).

#23620 In scala/scala3;

· by road21 was closed on Oct 26, 2025

· 

3.8.0

Matches on union types do not infer most precise return type with wildcard matches

area:pattern-matching

itype:enhancement

Status: Closed (completed).

#5420 In scala/scala3;

· by propensive was closed on Jun 11, 2024