first commit

examples/coinductive.rs

@@ -0,0 +1,13 @@
+#![allow(unused)]
+
+enum List<T> {
+    Nil,
+    Cons(T, Box<List<T>>),
+}
+
+fn is_send(x: impl Send) {}
+
+fn main() {
+    let x = 3;
+    is_send(List::Cons(&mut x as *mut _, Box::new(List::Nil)))
+}