default() should have a null or not null constraint on it

[tamasvajk]

Description

There's no constraint applied on default(T).

Repro steps

var s = default(string);
if (s == null) // no S2589
{
}