Nothrow front() when not empty()

[Nordlöw via Digitalmars-d-learn]

At

https://github.com/D-Programming-Language/phobos/pull/3752

it would be nice if

    return !haystack.empty && haystack.front.unaryFun!pred

was made nothrow.

Is this possible somehow?