Fix the bare-discriminant-read example

[sonmarcho]

@Nadrieril

[Nadrieril]

This refers to this surprising change.

[Nadrieril]

More specifically, that changes indicates that the file no longer tests the codepath in charon that we wanted to test. We could use core::intrinsics::discriminant_value to guarantee we get the right MIR operation.