about summary refs log tree commit diff
path: root/src/rt/rust_kernel.cpp
diff options
context:
space:
mode:
authorNiko Matsakis <niko@alum.mit.edu>2013-01-22 17:20:08 -0800
committerNiko Matsakis <niko@alum.mit.edu>2013-01-28 10:01:59 -0800
commit2b67d88809d9f6ddc4686ee514cb78200db1d737 (patch)
treeea8b9e3710f394242678624a0f5f141ab3b33f88 /src/rt/rust_kernel.cpp
parentc07ae16de18ad24004e1d1c425c08bcf3e7c4811 (diff)
downloadrust-2b67d88809d9f6ddc4686ee514cb78200db1d737.tar.gz
rust-2b67d88809d9f6ddc4686ee514cb78200db1d737.zip
Rewrite the coercion code to be more readable, more sound, and to reborrow when
needed.

Regarding soundness: there was a subtle bug in how it was done before; see the
compile-fail test for an example.

Regarding reborrowing: reborrowing allows mut and const
slices/borrowed-pointers to be used with pure fns that expect immutable data.

r=brson
Diffstat (limited to 'src/rt/rust_kernel.cpp')
0 files changed, 0 insertions, 0 deletions