rust/tests/ui/traits/auxiliary/trivial3.rs