Skip to content

Teach provablyDisjoint about AnyKind#18510

Merged
sjrd merged 1 commit intoscala:mainfrom
dwijnand:teach-disjoint-about-AnyKind
Sep 4, 2023
Merged

Teach provablyDisjoint about AnyKind#18510
sjrd merged 1 commit intoscala:mainfrom
dwijnand:teach-disjoint-about-AnyKind

Commits

Commits on Sep 4, 2023