Add 80291

Issue: rust-lang/rust#80291
fanninpm · Dec 29, 2020 · 4d5f648 · 4d5f648
1 parent 96c3dd4
commit 4d5f648
Showing 1 changed file with 21 additions and 0 deletions.
diff --git a/ices/80291.rs b/ices/80291.rs
@@ -0,0 +1,21 @@
+trait ColumnOutput<'a> {
+    type Output;
+}
+
+struct C {}
+
+impl<'a> ColumnOutput<'a> for C {
+    type Output = u64;
+}
+
+fn calc<'a, O, F>(f: F)
+where
+    O: ColumnOutput<'a>,
+    F: Fn(<O as ColumnOutput>::Output) -> u64,
+{
+    f(vec![].pop().unwrap());
+}
+
+fn main() {
+    calc::<C, _>(|_| unimplemented!());
+}