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

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

author	Florian Diebold <flodiebold@gmail.com>
	Sun, 21 Mar 2021 16:40:14 +0000 (17:40 +0100)
committer	Florian Diebold <flodiebold@gmail.com>
	Sun, 21 Mar 2021 17:01:14 +0000 (18:01 +0100)
commit	1d5c4a77fb33cab7bf8f9d2edc6dd26b09ef65f3
tree	9cc37c708ec3c2df8adbc1e96204c7a7e2e3ca65	tree \| snapshot
parent	590c41635952e19c3caae525a827499dbd360049	commit \| diff

Use QuantifiedWhereClause in generic_predicates as well

Still far too much binder skipping going on; I find it hard to imagine
this is all correct, but the tests pass.

Empowering everyone to build reliable and efficient software.

RSS Atom

crates/hir/src/display.rs		diff \| blob \| history
crates/hir/src/lib.rs		diff \| blob \| history
crates/hir_ty/src/db.rs		diff \| blob \| history
crates/hir_ty/src/display.rs		diff \| blob \| history
crates/hir_ty/src/infer/expr.rs		diff \| blob \| history
crates/hir_ty/src/lib.rs		diff \| blob \| history
crates/hir_ty/src/lower.rs		diff \| blob \| history
crates/hir_ty/src/traits/chalk/mapping.rs		diff \| blob \| history
crates/hir_ty/src/utils.rs		diff \| blob \| history