Trait DeclassifyRefMut 

pub trait DeclassifyRefMut {
    type DeclassifiedRefMut;

    // Required method
    fn declassify_ref_mut(self) -> Self::DeclassifiedRefMut;
}

A trait for declassifying mutable references to secret types

Required Associated Types

type DeclassifiedRefMut

Required Methods

fn declassify_ref_mut(self) -> Self::DeclassifiedRefMut

Implementations on Foreign Types

impl<'a, T> DeclassifyRefMut for &'a mut T

Available on non-hax only.

type DeclassifiedRefMut = &'a mut T

fn declassify_ref_mut(self) -> &'a mut T

Implementors