refactor: Generalize Substitutable::apply_ref#4499

Merged

Marwes merged 5 commits intomasterfrom type_visitor_2

Mar 29, 2022

+206-339

Commits on Mar 29, 2022

refactor: Rename apply_ref to visit
Markus Westerlind
committed
refactor: Move substitution specific concerns into their Substituter impls
Markus Westerlind
committed
refactor: Implement MaxTvar in terms of Substitutable
Markus Westerlind
committed
refactor: Implement free_vars in terms of visit
Markus Westerlind
committed
chore: make generate
Markus Westerlind
committed