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