What is the behaviour of the '==' operator for a generic type value and the 'default' keyword?

Question

Part 1 of the question: In the following code why does value == default compile fine but the other alternatives do not?