charon_lib::transform::remove_read_discriminant

Constant DISCRIMINANT_INTRINSIC

Source 
const DISCRIMINANT_INTRINSIC: &str = "core::intrinsics::discriminant_value";