Worst ideas/features in programming languages?

[Nick Treleaven]

On Monday, 11 October 2021 at 21:21:21 UTC, Paul Backus wrote:
> The real missing piece here IMO is DIP 1038 [1]. Once it is 
> fully accepted and implemented, defining a Result type will be 
> trivial.

Could you explain how @nodiscard would help with sum types? 
Presumably it won't help to implicitly convert a subtype into the 
wrapper sum type?