Update to a new pinning API.

2018-09-01 06:12:10 +02:00
parent e6b35b0e11
commit 974bdc80fe
14 changed files with 340 additions and 451 deletions
--- a/src/liballoc/lib.rs
+++ b/src/liballoc/lib.rs
@@ -160,7 +160,6 @@ pub mod collections;
 pub mod sync;
 pub mod rc;
 pub mod raw_vec;
-pub mod pin;
 pub mod prelude;
 pub mod borrow;
 pub mod fmt;