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

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

author	Florian Diebold <flodiebold@gmail.com>
	Thu, 1 Apr 2021 19:04:02 +0000 (21:04 +0200)
committer	Florian Diebold <flodiebold@gmail.com>
	Sat, 3 Apr 2021 09:17:13 +0000 (11:17 +0200)
commit	e480d81988fc0c0e4f80f1c54058b95b9aaf1ebf
tree	079dabc4e0de72e30d2bd04bd50427ff6950b348	tree \| snapshot
parent	327f3a0a3017e047be58b8312f8bf3ac690db3fd	commit \| diff

Introduce `GenericArg` like in Chalk

Plus some more adaptations to Substitution.

Lots of `assert_ty_ref` that we should revisit when introducing
lifetime/const parameters.

17 files changed:

crates/hir/src/lib.rs		diff \| blob \| history
crates/hir_ty/src/autoderef.rs		diff \| blob \| history
crates/hir_ty/src/chalk_cast.rs		diff \| blob \| history
crates/hir_ty/src/diagnostics/expr.rs		diff \| blob \| history
crates/hir_ty/src/diagnostics/match_check.rs		diff \| blob \| history
crates/hir_ty/src/display.rs		diff \| blob \| history
crates/hir_ty/src/infer/coerce.rs		diff \| blob \| history
crates/hir_ty/src/infer/expr.rs		diff \| blob \| history
crates/hir_ty/src/infer/pat.rs		diff \| blob \| history
crates/hir_ty/src/infer/path.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/method_resolution.rs		diff \| blob \| history
crates/hir_ty/src/traits.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

Empowering everyone to build reliable and efficient software.

RSS Atom