> Fortunately, .NET 7 adds a new type to help us out here: UnreachableException.

There was an UnreachableException before .NET 7 as well.

Look:

public class UnreachableException : Exception {}