rust/src/test/ui/issues/issue-16256.rs