diff options
author | Florian Diebold <[email protected]> | 2019-11-16 11:53:13 +0000 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2019-11-16 12:25:54 +0000 |
commit | 351c29d859d74f7a61e654bdbcad634bfb136225 (patch) | |
tree | 39289f3a5fd0d828780ffa3128317afc8a0598e4 /editors | |
parent | 9c2a9a9a0635e53466749fdedcdc5a371e658cde (diff) |
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.
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions