Function creusot_contracts::std::intrinsics::mir::Retag

pub fn Retag<T>(place: T)

🔬This is a nightly-only experimental API. (custom_mir)