Is it possible to Typescript behavior with generic key that extends Union types?

/**
 * Generic used as value?
 * I can have an "Input" where field 'type' is either 'number' or
 * 'text', and it works no problem.
 */
const GoodScopeThing = scope({
  InputType: '"number" | "text"',
  "Input<T extends InputType>": {
    type: "T",
    value: "string",
  },
});

const GoodThing = GoodScopeThing.type({
  field: "Input<InputType>",
});

GoodThing({
  field: {
    type: "number",
    value: "Hi",
  },
}); // { field: { type: 'number', value: 'Hi' } }

/**
 * Generic used on key?
 * Every "Input" will expect a boolean for both 'number' and 'text'
 */
const BadScopeThing = scope({
  InputType: '"number" | "text"',
  "Input<T extends InputType>": {
    "[T]": "true", // Identify the type by which key is present
    value: "string",
  },
});

const BadThing = BadScopeThing.type({
  field: "Input<InputType>",
});