]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c2a9a9) | patch
Fix handling of the binders in dyn/impl Trait
authorFlorian Diebold <flodiebold@gmail.com>
Sat, 16 Nov 2019 11:53:13 +0000 (12:53 +0100)
committerFlorian Diebold <flodiebold@gmail.com>
Sat, 16 Nov 2019 12:25:54 +0000 (13:25 +0100)
commit351c29d859d74f7a61e654bdbcad634bfb136225
tree39289f3a5fd0d828780ffa3128317afc8a0598e4tree | snapshot
parent9c2a9a9a0635e53466749fdedcdc5a371e658cdecommit | 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.
crates/ra_hir/src/ty.rs diff | blob | history
crates/ra_hir/src/ty/infer/unify.rs diff | blob | history
crates/ra_hir/src/ty/tests.rs diff | blob | history
crates/ra_hir/src/ty/traits.rs diff | blob | history
Empowering everyone to build reliable and efficient software.