Comment by lgas

I've never used D, but it appears to be valid syntax. https://dlang.org/spec/function.html#postconditions