git.lizzy.rs Git - rust.git/commit

]> git.lizzy.rs Git - rust.git/commit

author	Florian Diebold <flodiebold@gmail.com>
	Sun, 26 Apr 2020 14:56:25 +0000 (16:56 +0200)
committer	Florian Diebold <flodiebold@gmail.com>
	Sun, 26 Apr 2020 14:58:08 +0000 (16:58 +0200)
commit	497073abc66df21b178c931e91969fccd8afcdc3
tree	088b0fda66e9012959a6e26e460c2811156d3e83	tree \| snapshot
parent	ef67e0a497a3f0b65c11bf443e0d35c8e51bd26f	commit \| diff

For associated type shorthand (T::Item), use the substs from the where clause

So e.g. if we have `fn foo<T: SomeTrait<u32>>() -> T::Item`, we want to lower
that to `<T as SomeTrait<u32>>::Item` and not `<T as SomeTrait<_>>::Item`.

crates/ra_hir_ty/src/lib.rs		diff \| blob \| history
crates/ra_hir_ty/src/lower.rs		diff \| blob \| history
crates/ra_hir_ty/src/tests/traits.rs		diff \| blob \| history
crates/ra_hir_ty/src/utils.rs		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom