/src/test/ui/run-pass/specialization/defaultimpl/auxiliary/