/tests/ui/traits/negative-impls/auxiliary/