Skip to content

Employ frozen_<:< instead of <:< within EtaExpansion extractor logic#13229

Merged
bishabosha merged 1 commit intoscala:masterfrom
mario-bucev:etaexpansion-extractor
Aug 1, 2021
Merged

Employ frozen_<:< instead of <:< within EtaExpansion extractor logic#13229
bishabosha merged 1 commit intoscala:masterfrom
mario-bucev:etaexpansion-extractor

Commits