Failed assertion when verbosity is quiet

[orsinium]

Code:

import hypothesis
import hypothesis.strategies

@hypothesis.example(None)
@hypothesis.settings(verbosity=hypothesis.Verbosity.quiet)
@hypothesis.given(hypothesis.strategies.integers())
def f(a):
    pass

f()

Failure:

Traceback (most recent call last):
  File "tmp.py", line 10, in <module>
    f()
  File "tmp.py", line 5, in f
    @hypothesis.settings(verbosity=hypothesis.Verbosity.quiet)
  File "/home/gram/.local/lib/python3.8/site-packages/hypothesis/core.py", line 1090, in wrapped_test
    errors = list(
  File "/home/gram/.local/lib/python3.8/site-packages/hypothesis/core.py", line 379, in execute_explicit_examples
    assert fragments_reported[0].startswith("Falsifying example")
IndexError: list index out of range

Reason: execute_explicit_examples assumes that there are fragments_reported but there are always none if the verbosity is quiet.