/tests/ui/rfc-2008-non-exhaustive/auxiliary/