Using Unsafe Trait Implementations

You will understand when to manually mark traits as implemented even if compiler verification is impossible.