Nice! I did not have a chance to look at the issue discussion. Thank you for pointing it out. It's good to see that Rust is learning from Ada. Ada is also l

Nice! I did not have a chance to look at the issue discussion. Thank you for pointing it out. It's good to see that Rust is learning from Ada. Ada is also learning from Rust: https://arxiv.org/abs/1710.07047 https://arxiv.org/abs/1710.07047