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 /docs/dev/guide.md | |
| 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 'docs/dev/guide.md')
0 files changed, 0 insertions, 0 deletions