import type { EmptyObject } from "hry-types/src/Misc/EmptyObject";
import type { InferSpecificType } from "../../../types/InferSpecificType";

/**
 * 验证properties的value类型是否正确
 * @returns unknown | `{ value: () => "⚠️类型错误⚠️" }`
 */
export type PropertiesValueValidator<
  TProperties,
  Result = {
    [
      k in keyof TProperties as TProperties[k] extends {
        type: infer R;
        value: infer V;
      } ? V extends InferSpecificType<R> ? never
        : k
        : never
    ]: { value: () => "⚠️类型错误⚠️" };
  },
> = EmptyObject extends Result ? unknown : Result;