Florian Diebold 351c29d859 Fix handling of the binders in dyn/impl Trait
We need to be more careful now when substituting bound variables (previously, we
didn't have anything that used bound variables except Chalk, so it was not a
problem).

This is obviously quite ad-hoc; Chalk has more infrastructure for handling this
in a principled way, which we maybe should adopt.
2019-11-16 13:25:54 +01:00
..
2019-11-07 13:05:12 -05:00
2019-11-12 15:41:02 +03:00
2019-11-05 10:38:50 -05:00
2019-11-15 13:16:30 +03:00
2019-11-12 15:41:02 +03:00
2019-11-16 01:00:00 +03:00
2019-11-15 23:12:59 +00:00
2019-11-07 13:05:12 -05:00
2019-11-15 07:18:10 -05:00
2019-11-14 19:44:37 -05:00
2019-10-25 11:49:38 +03:00
2019-10-17 13:08:33 -04:00