On Saturday, 1 June 2013 at 05:45:38 UTC, SomeDude wrote:
In the "Rust based provocation thread", I think Adam Ruppe's work went largely overlooked.
Discussion has continued via e-mail and his efforts has not gone unnoticed :) It is important proof-of-concept that can be used to highlight problematic places but to be truly useful such subset needs to be verified by a compiler, for friendlier error messages at the very least.
