aboutsummaryrefslogtreecommitdiff
path: root/build.rs
diff options
context:
space:
mode:
authorJorge Aparicio <jorge@japaric.io>2017-04-27 18:34:21 -0500
committerJorge Aparicio <jorge@japaric.io>2017-04-27 18:34:21 -0500
commitec2df608ca4c35f044c383b7a4c8ba268657aa15 (patch)
treeea4b4f4eef9e0b584e051b6f7db1bb6093984253 /build.rs
parenta3cc01df672b27d118ce3c0d94ac3ab6f371cf4a (diff)
make `as_ceiling` a general method of `P<N>`
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)
- }
- }
- }
},
);
}