2
「TはUを推測する」の限界を理解しようとしています
私は次のようなことを理解しました: type GenericExample<T> = T extends (infer U) ? U : 'bar'; 等しい: type GenericExample<T> = T extends T ? T : 'bar'; しかし、物事がより複雑になると、TypeScriptは不平を言います。 type Types = 'text' | 'date' | 'articles' | 'params'; type MyExperiment<Type extends Types> = { t : Type }; type MyExperimentsUnion = Types extends (infer …