Florian Diebold b67148daea Substitution::prefix -> subst_prefix ...

I probably want to get rid of this function completely later.

2021-04-05 21:58:53 +02:00

..

coerce.rs

Move things from traits module to types as well

2021-04-04 20:27:40 +02:00

expr.rs

Substitution::prefix -> subst_prefix

2021-04-05 21:58:53 +02:00

pat.rs

Add Interner parameter to Binders::substitute

2021-04-05 19:21:01 +02:00

path.rs

Add Interner parameter to Binders::substitute

2021-04-05 19:21:01 +02:00

unify.rs

Get rid of subst_bound_vars uses

2021-04-05 19:21:03 +02:00