Type alias ProjectUntaggedConstants<MUCs, Map>

Given a record type containing only untagged PropertyKeys and a type which uses the properties' types of the first as keys, forces the latter to use ALL AND ONLY the properties' types of the first as keys

Returns

The Map if it satisfies the requirement, otherwise a projection which uses the properties' types of the first as keys but containing never as properties's type for both extraneous properties (properties of Map missing as properties' types of MUCs) and missing ones (properties' types of MUCs missing in Map)

Example

ProjectUntaggedConstants<
 InferUntaggedConstants<ConstantsWrapper<{ a: "A", b: "B" }, "tag">>,
 { A: 1, B: 2 }
>

is

{ A: 1, B: 2 }

Example

ProjectUntaggedConstants<
 InferUntaggedConstants<ConstantsWrapper<{ a: "A", b: "B" }, "tag">>,
 { A: 1 }
>

results in an error because "B" is missing as key into the Map type

Example

ProjectUntaggedConstants<
 InferUntaggedConstants<ConstantsWrapper<{ a: "A", b: "B" }, "tag">>,
 { A: 1, B: 2, C: 3 }
>

results in an error because "C" is an extraneous key