Crate dyn_safe 

::dyn_safe

Take control of the Semver hazard of the dyn safety of your traits!

Usage

1. cargo add dyn_safe, or add the following to your Cargo.toml file:

   [dependencies]
   dyn_safe = "x.y.z"

   • where you can find the version using cargo search dyn_safe

2. Add the following to your lib.rs file:

   #[macro_use]
   extern crate dyn_safe;

3. Use #[dyn_safe(true)] or #[dyn_safe(false)] to, respectively, assert that the trait object is dyn-safe or that the trait object should not be dyn-safe.

   • #[macro_use]
     extern crate dyn_safe;
     
     #[dyn_safe(true)]
     pub trait Foo {
         fn whoops ();
     }

     #[macro_use]
     extern crate dyn_safe;
     
     #[dyn_safe(false)]
     pub trait Foo {
         fn ok ();
     }

   • #[macro_use]
     extern crate dyn_safe;
     
     #[dyn_safe(false)]
     pub trait Foo {
         // …
     }
     
     let _: dyn Foo; // Whoops

     #[macro_use]
     extern crate dyn_safe;
     
     #[dyn_safe(true)]
     pub trait Foo {
         // …
     }
     
     let _: dyn Foo; // Ok

Traits

NotObjectSafe

“Marker” (super-)trait used to opt-out of object safety.

Attribute Macros

dyn_safe