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!