Merge #563

563: restore erased pin r=therealprof a=burrbull



Co-authored-by: Andrey Zgarbul <[email protected]>

Author: bors[bot]

CHANGELOG.md

@@ -16,6 +16,9 @@ and this project adheres to [Semantic Versioning](http://semver.org/).
 ### Added
 
 [#426]: https://github.com/stm32-rs/stm32f4xx-hal/pull/426
+### Added
+
+ - `restore` for `ErasedPin` and `PartiallyErasedPin`
 
 ## [v0.14.0] - 2022-12-12
 

src/gpio/erased.rs

@@ -1,6 +1,6 @@
 use super::*;
 
-pub type EPin<MODE> = ErasedPin<MODE>;
+pub use ErasedPin as EPin;
 
 /// Fully erased pin
 ///
@@ -56,6 +56,13 @@ impl<MODE> ErasedPin<MODE> {
         }
     }
 
+    /// Convert type erased pin to `Pin` with fixed type
+    pub fn restore<const P: char, const N: u8>(self) -> Pin<P, N, MODE> {
+        assert_eq!(self.port_id(), P as u8 - b'A');
+        assert_eq!(self.pin_id(), N);
+        Pin::new()
+    }
+
     #[inline]
     fn block(&self) -> &crate::pac::gpioa::RegisterBlock {
         // This function uses pointer arithmetic instead of branching to be more efficient

src/gpio/partially_erased.rs

@@ -1,6 +1,6 @@
 use super::*;
 
-pub type PEPin<const P: char, MODE> = PartiallyErasedPin<P, MODE>;
+pub use PartiallyErasedPin as PEPin;
 
 /// Partially erased pin
 ///
@@ -18,6 +18,12 @@ impl<const P: char, MODE> PartiallyErasedPin<P, MODE> {
             _mode: PhantomData,
         }
     }
+
+    /// Convert partially type erased pin to `Pin` with fixed type
+    pub fn restore<const N: u8>(self) -> Pin<P, N, MODE> {
+        assert_eq!(self.i, N);
+        Pin::new()
+    }
 }
 
 impl<const P: char, MODE> fmt::Debug for PartiallyErasedPin<P, MODE> {