pub unsafe auto trait ObjSafe { }
Expand description
This auto trait specifies that some type is “safe” to to store inside an object. This means that the type contains no non-invariant references nor any unsafe interior mutability not implemented via twizzler-nando.
§Safety
Manually marking type as safe requires that the programmer adhere to the rules set above.