rust/src/test/ui/issues/auxiliary/issue-16725.rs