On Tuesday, 9 April 2024 at 16:56:13 UTC, Walter Bright wrote: > That's what @nogc is for. Mine detectors are helpful but it would be nice if there were less mines in my backyard.