pub const mir_set_discriminant: Symbol;