Function creusot_contracts::std::intrinsics::mir::Discriminant
source · pub fn Discriminant<T>(place: T) -> <T as DiscriminantKind>::Discriminant
🔬This is a nightly-only experimental API. (
custom_mir
)Expand description
Gets the discriminant of a place.