//@ compile-flags:-Z unstable-options --show-coverage --output-format=doctest