Add issue-65673 (#182)

rust-lang · Oct 22, 2019 · 1e7f3e3 · 1e7f3e3
1 parent 84cb8c6
commit 1e7f3e3
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/ices/65673.rs b/ices/65673.rs
@@ -0,0 +1,17 @@
+pub struct SharedRange<Ix, OnSet> {
+    pub data: f32,
+}
+
+trait HasCtx {
+    type Ctx;
+}
+
+trait Callback0 {}
+
+trait Foo<Ix, OnSet> = where OnSet: Callback0;
+
+impl<Ix, OnSet> HasCtx for SharedRange<Ix, OnSet> {
+    type Ctx = Foo<Ix, OnSet>;
+}
+
+fn main() {}