--TEST-- Explicit nullable types do not imply a default value --FILE--