Using AutoPath to get the type of a property inside a single object type declaration

[svenliebig]

Hey, I wanted to create a type that works similar to the get function declaration in the ts-toolbelt examples, but only within an object. The background story to that is some React Component Properties specific thing. My problem is that I do not have the object as value where I want to use this type, so I can not infer all the generics by default, I have to set one. But here I encounter some problems:

import { Object, Function, String } from "ts-toolbelt"

type Set<O, P extends string> = {
	set: Function.AutoPath<O, P>
	to: Object.Path<O, String.Split<P, ".">>
}

type HelloWorld = { hello: string }

const set: Set<HelloWorld> = {
	// ^Err - generic type Set requires 2 type argument
	set: "hello",
	to: "world",
}

// if I set it to string, the transpiler does not infer the correct path string from `set` and evaluates `to` to be the type undefined
const set2: Set<HelloWorld, string> = {
	set: "hello",
	to: "world",
	// ^Err - type string is not assignable to type undefined
}

// if I set the 2nd argument to the actual path, it works, but that's what I wanted to avoid.
const set3: Set<HelloWorld, "hello"> = {
	set: "hello",
	to: "world",
}

I also added this to a codesandbox: https://codesandbox.io/s/ts-toolbelt-forked-vl0mrh?file=/src/index.ts

Does someone has a better idea how to get this working?

Thank you!