I'm not quite convinced that we actually *need* this as a pseudo-concept. It's generally a requirement on the implementation, not user code. We should just templatize the relevant guarantees and put it on the trait pages. T. Canens (talk) 14:01, 2 January 2018 (PST)
