rust/tests/ui/issue-3145.rs