Quite Demand o LinkDemand de {0}, ya que no evitarán que se inicialice el struct. En lugar de eso, coloque la demanda en ...

Quite Demand o LinkDemand de {0}, ya que no evitarán que se inicialice el struct. En lugar de eso, coloque la demanda en un constructor con parámetros y asegúrese de que el estado inicial de la estructura es detectablemente válido o no válido (el struct sólo se inicializará con los valores predeterminados si no se satisface la demanda de seguridad).