型エイリアス ValidatedFieldType<Type>

ValidatedFieldType: Type extends {
    parse(value: StorageValue): Value;
    restore(value: RestoredValue): RestoredStorageValue;
}
    ? SameType<RestoredValue, Value> extends true
        ? RestoredStorageValue extends StorageValue
            ? HasValidEqual<Type, Value> extends true
                ? HasValidToJSON<Type, Value> extends true ? Type : never
                : never
            : never
        : never
    : never