On Thursday, 22 October 2020 at 19:19:18 UTC, Steven Schveighoffer wrote: > On 10/22/20 12:39 PM, Paul Backus wrote: >> /// Documents: Nullable.get > This would be sufficient! I don't hate the syntax either, I think I'll steal it for adrdox...