Dereferenceable Zero

The claim that this is "my niche use case", and the claim that workarounds suffice, are both addressed in the current proposal. The proof is structural, not rhetorical. Refer to Workaround is impossible - The &T chain