1 files changed, 12 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-3874.rs b/src/test/ui/issues/issue-3874.rs
new file mode 100644
index 000000000..f9553d88d
--- /dev/null
+++ b/src/test/ui/issues/issue-3874.rs
@@ -0,0 +1,12 @@
+// build-pass
+#![allow(dead_code)]
+// pretty-expanded FIXME #23616
+
+enum PureCounter { PureCounterVariant(usize) }
+
+fn each<F>(thing: PureCounter, blk: F) where F: FnOnce(&usize) {
+    let PureCounter::PureCounterVariant(ref x) = thing;
+    blk(x);
+}
+
+pub fn main() {}