Skip to content

Commit 60c0de5

Browse files
rusty1968FerralCoder
authored andcommitted
dded safety and documentation attributes
1 parent 68117fa commit 60c0de5

File tree

3 files changed

+7
-93
lines changed

3 files changed

+7
-93
lines changed

platform/traits/Cargo.toml

Lines changed: 0 additions & 13 deletions
This file was deleted.

platform/traits/hubris/src/lib.rs

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,13 @@
88
//! The traits use concrete types instead of generic associated types to ensure
99
//! compatibility with Hubris IDL code generation systems.
1010
11+
#![no_std]
12+
#![forbid(unsafe_code)]
13+
#![deny(missing_docs)]
14+
15+
use core::convert::TryFrom;
16+
use core::result::Result;
17+
1118
use openprot_hal_blocking::{
1219
digest::{owned::DigestOp, Digest},
1320
mac::owned::MacOp,

platform/traits/src/lib.rs

Lines changed: 0 additions & 80 deletions
This file was deleted.

0 commit comments

Comments
 (0)