/src/test/ui/rfc-2008-non-exhaustive/uninhabited/auxiliary/