Closed
Description
Just like __attribute__((warn_unused_result))
in C.
One thing this would be really useful for is to help people distinguish functional-style vs in-place-style data structure update functions. I could have saved some time during ICFP (#2928) 'cause I was using vec::append as though it were vec::push_all.
Marking this I-completion because I care a lot about it. Feel free to debate its importance.