aboutsummaryrefslogtreecommitdiff
path: root/build.rs
diff options
context:
space:
mode:
Diffstat (limited to 'build.rs')
-rw-r--r--build.rs10
1 files changed, 0 insertions, 10 deletions
diff --git a/build.rs b/build.rs
index 0de38e0..e320c82 100644
--- a/build.rs
+++ b/build.rs
@@ -55,7 +55,6 @@ fn main() {
// Priorities
for i in 0..(1 << bits) + 1 {
- let c = Ident::new(format!("C{}", i));
let p = Ident::new(format!("P{}", i));
let u = Ident::new(format!("U{}", i));
@@ -76,15 +75,6 @@ fn main() {
quote! {
#[doc = #doc]
pub type #p = P<::typenum::#u>;
-
- impl #p {
- /// Turns this priority into a ceiling
- pub fn as_ceiling(&self) -> &#c {
- unsafe {
- ::core::mem::transmute(self)
- }
- }
- }
},
);
}