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