Search results

Revert "Revert "Disable distribution of intersection types over applied types""

Status: Merged (completed).

scala/scala3number 23923

#23923 In scala/scala3;

· by EugeneFlesselle was closed on Sep 15, 2025

Update the TastyFormat for matches with sub-cases

Status: Merged (completed).

scala/scala3number 23851

#23851 In scala/scala3;

· by EugeneFlesselle was closed on Sep 2, 2025

Fix <code>derivesFrom</code> false negative in <code>provablyDisjointClasses</code>

Status: Merged (completed).

scala/scala3number 23834

#23834 In scala/scala3;

· by EugeneFlesselle was closed on Aug 29, 2025

· 

3.7.4

Replace pickling of sub matches with an annotation

Status: Closed (abandoned).

scala/scala3number 23810

#23810 In scala/scala3;

· by EugeneFlesselle was closed on Sep 1, 2025

Match if sub cases

area:experimental

release-notesShould be mentioned in the release notesShould be mentioned in the release notes

Status: Merged (completed).

scala/scala3number 23786

#23786 In scala/scala3;

· by EugeneFlesselle was closed on Aug 21, 2025

Match with sub cases

Status: Merged (completed).

scala/scala3number 23736

#23736 In scala/scala3;

· by EugeneFlesselle was closed on Aug 21, 2025

Keep deepened proto on AmbiguousImplicits even if cannot constrainResult

Status: Closed (abandoned).

scala/scala3number 23687

#23687 In scala/scala3;

· by EugeneFlesselle was closed on Aug 8, 2025

Fix auto-untupling for generic tuple types

Status: Closed (abandoned).

scala/scala3number 23680

#23680 In scala/scala3;

· by EugeneFlesselle was closed on Aug 6, 2025

Fix implicit scope liftToAnchors for parameter lower bounds

Status: Merged (completed).

scala/scala3number 23679

#23679 In scala/scala3;

· by EugeneFlesselle was closed on Sep 10, 2025

· 

3.7.4

Drop singletonInterval from lubArgs and glbArgs in TypeComparer

Status: Closed (abandoned).

scala/scala3number 23567

#23567 In scala/scala3;

· by EugeneFlesselle was closed on Jul 18, 2025

Disable distribution of intersection types over applied types

Status: Merged (completed).

scala/scala3number 23441

#23441 In scala/scala3;

· by EugeneFlesselle was closed on Sep 13, 2025

Pretype args before skipping clause of overloaded application

Status: Open (in progress).

scala/scala3number 23012

#23012 In scala/scala3;

· EugeneFlesselle opened on Apr 17, 2025