fix memory safety hole around `borrow`

1 files changed, 7 insertions, 2 deletions

diff --git a/src/lib.rs b/src/lib.rs
index d49ddf1..46a6bd7 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -64,12 +64,15 @@ where
     /// section
     ///
     /// This operation is zero cost and doesn't impose any additional blocking
-    pub fn borrow<'cs, SCEILING>(
+    pub fn borrow<'cs, PRIORITY, SCEILING>(
         &'static self,
+        _priority: &P<PRIORITY>,
         _system_ceiling: &'cs C<SCEILING>,
     ) -> &'cs T
     where
         SCEILING: GreaterThanOrEqual<CEILING>,
+        CEILING: GreaterThanOrEqual<PRIORITY>,
+        P<PRIORITY>: Priority,
     {
         unsafe { &*self.data.get() }
     }
@@ -216,12 +219,14 @@ where
     C<CEILING>: Ceiling,
 {
     /// See [Resource.borrow](./struct.Resource.html#method.borrow)
-    pub fn borrow<'cs, SCEILING>(
+    pub fn borrow<'cs, PRIORITY, SCEILING>(
         &'static self,
+        _priority: &P<PRIORITY>,
         _system_ceiling: &'cs C<SCEILING>,
     ) -> &'cs Periph
     where
         SCEILING: GreaterThanOrEqual<CEILING>,
+        CEILING: GreaterThanOrEqual<PRIORITY>,
     {
         unsafe { &*self.peripheral.get() }
     }