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

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

author	Florian Diebold <flodiebold@gmail.com>
	Sun, 21 Mar 2021 12:22:22 +0000 (13:22 +0100)
committer	Florian Diebold <flodiebold@gmail.com>
	Sun, 21 Mar 2021 17:01:14 +0000 (18:01 +0100)
commit	590c41635952e19c3caae525a827499dbd360049
tree	eca7c162975ef901b723d255512e61c047e838b8	tree \| snapshot
parent	35868c4f7dc479dd5f731a2785ec6a203046ea9c	commit \| diff

Introduce QuantifiedWhereClause and DynTy analogous to Chalk

This introduces a bunch of new binders in lots of places, which we have
to be careful about, but we had to add them at some point.

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/display.rs		diff \| blob \| history
crates/hir_ty/src/infer/unify.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.rs		diff \| blob \| history
crates/hir_ty/src/traits/chalk/mapping.rs		diff \| blob \| history