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

Merged

bishabosha merged 1 commit intoscala:masterfrom

mario-bucev:etaexpansion-extractor

Aug 1, 2021

Commits on Aug 1, 2021

Employ frozen_<:< instead of <:< within EtaExpansion extractor logic
mario-bucev
committed