9c8e8651be
In constructor stubs for default arguments, a marker parameter used to have a non-null type, but null was passed as the corresponding argument. This patch corrects the type.