Remove a stale TODO and diagnostic ignore (#1660)

The `fail` method was updated with a return type of `Never` and does not
use `@alwaysThrows` anymore. This diagnostic is no longer present and
does not need to be ignored.
3 files changed