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

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

author	Niko Matsakis <niko@alum.mit.edu>
	Fri, 31 Aug 2018 22:59:35 +0000 (18:59 -0400)
committer	Niko Matsakis <niko@alum.mit.edu>
	Mon, 10 Sep 2018 12:22:31 +0000 (08:22 -0400)
commit	dd3cc9669acba363abdf4f1bf5744aea383ecc46
tree	748c8e198f9d13dd4691546b1ac3d8eb73dc98fb	tree \| snapshot
parent	22f9bcce042d8ab77c534f22173c31f9a9ee224e	commit \| diff

add the `AscribeUserType` statement kind

Make it have the semantics of subtype.

22 files changed:

src/librustc/ich/impls_mir.rs		diff \| blob \| history
src/librustc/mir/mod.rs		diff \| blob \| history
src/librustc/mir/visit.rs		diff \| blob \| history
src/librustc/ty/context.rs		diff \| blob \| history
src/librustc_codegen_llvm/mir/statement.rs		diff \| blob \| history
src/librustc_mir/borrow_check/mod.rs		diff \| blob \| history
src/librustc_mir/borrow_check/nll/constraint_generation.rs		diff \| blob \| history
src/librustc_mir/borrow_check/nll/invalidation.rs		diff \| blob \| history
src/librustc_mir/borrow_check/nll/renumber.rs		diff \| blob \| history
src/librustc_mir/borrow_check/nll/type_check/mod.rs		diff \| blob \| history
src/librustc_mir/borrow_check/nll/type_check/relate_tys.rs		diff \| blob \| history
src/librustc_mir/dataflow/impls/borrows.rs		diff \| blob \| history
src/librustc_mir/dataflow/move_paths/builder.rs		diff \| blob \| history
src/librustc_mir/interpret/step.rs		diff \| blob \| history
src/librustc_mir/transform/check_unsafety.rs		diff \| blob \| history
src/librustc_mir/transform/cleanup_post_borrowck.rs		diff \| blob \| history
src/librustc_mir/transform/mod.rs		diff \| blob \| history
src/librustc_mir/transform/qualify_consts.rs		diff \| blob \| history
src/librustc_mir/transform/remove_noop_landing_pads.rs		diff \| blob \| history
src/librustc_mir/transform/rustc_peek.rs		diff \| blob \| history
src/librustc_passes/mir_stats.rs		diff \| blob \| history
src/test/mir-opt/basic_assignment.rs		diff \| blob \| history

Empowering everyone to build reliable and efficient software.