On 9/19/14, 9:52 PM, bearophile wrote:
but currently Rust seems to ignore several kinds of correctness, focusing only on two kinds
Could you tell which are those two kinds and which other correctness are ignored? Just to learn more about Rust. Thanks!