anchor.diff:      bool hasPublishedDocs = false,
       required String message,
       required String name,
  -    ErrorType type = ErrorType.COMPILE_TIME_ERROR,
       String? uniqueName,
  -  })  : type = type,
  -        super(
  +  }) : super(
             correction: correction,
             hasPublishedDocs: hasPublishedDocs,
             message: message,
  
positive.code: 
    @override
    ErrorSeverity get errorSeverity => type.severity;
  }
  
negative.code:     correction: "Try extending 'Struct' or 'Union' directly.",
      uniqueName: 'SUBTYPE_OF_STRUCT_CLASS_IN_WITH',
    );
  
    /// Initialize a newly created error code to have the given [name]. If
    /// [uniqueName] is provided, then it will be used to construct the unique
  