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

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

projects / rust.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 1b0f0ad) | patch

author	Niko Matsakis <niko@alum.mit.edu>
	Tue, 17 Mar 2015 19:22:11 +0000 (15:22 -0400)
committer	Niko Matsakis <niko@alum.mit.edu>
	Tue, 17 Mar 2015 21:29:07 +0000 (17:29 -0400)
commit	0947f4076ddbf5c0db63d60c19f28b6b79023638
tree	cd4568b62d70c02218711c0fe73d2b1ebf0aef56	tree \| snapshot
parent	1b0f0ad28070c072f68ea0ab10bbae61b52706a8	commit \| diff

Move unsafety out of the subtyping relation and into coercion.

19 files changed:

src/librustc/middle/astencode.rs		diff \| blob \| history
src/librustc/middle/expr_use_visitor.rs		diff \| blob \| history
src/librustc/middle/infer/bivariate.rs		diff \| blob \| history
src/librustc/middle/infer/combine.rs		diff \| blob \| history
src/librustc/middle/infer/equate.rs		diff \| blob \| history
src/librustc/middle/infer/glb.rs		diff \| blob \| history
src/librustc/middle/infer/lub.rs		diff \| blob \| history
src/librustc/middle/infer/sub.rs		diff \| blob \| history
src/librustc/middle/mem_categorization.rs		diff \| blob \| history
src/librustc/middle/ty.rs		diff \| blob \| history
src/librustc_trans/trans/consts.rs		diff \| blob \| history
src/librustc_trans/trans/expr.rs		diff \| blob \| history
src/librustc_typeck/check/coercion.rs		diff \| blob \| history
src/librustc_typeck/check/mod.rs		diff \| blob \| history
src/librustc_typeck/check/writeback.rs		diff \| blob \| history
src/test/compile-fail/unsafe-subtyping.rs	[new file with mode: 0644]	blob
src/test/compile-fail/unsafe-trait-impl.rs	[new file with mode: 0644]	blob
src/test/compile-fail/variadic-ffi.rs		diff \| blob \| history
src/test/run-pass/unsafe-coercion.rs	[new file with mode: 0644]	blob

Empowering everyone to build reliable and efficient software.