Expected 3 type arguments but got 1 but it should infer 2 types

by

As of TS3.4 there is no partial type parameter inference. Either you let the compiler try to infer all the type parameters, or you specify all the type parameters. (Well, there are default type parameters but that doesn’t give you what you want: you want to infer the type parameters you leave out, not assign a default type to them). There have been several proposals to address this, but so far none have met with full approval.

For now, therefore, there are only workarounds. The two that I can think of are to use a dummy function parameter or to use currying.

The dummy parameter version:

function pathBuilderDummy<
    T,
    K1 extends keyof T,
    K2 extends keyof NonNullable<T[K1]>>(dummy: T, p: K1, p2?: K2) {
    let res = String(p);
    if (p2) { res += "." + p2; }
    return res;
}

const pathDummyTest = pathBuilderDummy(null! as ISome, "b", "c");

Here we are doing what you said you didn’t want to do… pass in a parameter of type T. But since it’s just a dummy parameter and not used at runtime, it only matters what the type system thinks it is. The actual type of the value you pass in doesn’t matter. So you can just pass it null and use a type assertion to choose T.

The curried function solution:

const pathBuilderCurry =
    <T>() => <
        K1 extends keyof T,
        K2 extends keyof NonNullable<T[K1]>>(p: K1, p2?: K2) => {
        let res = String(p);
        if (p2) { res += "." + p2; }
        return res;
    }

const pathCurryTest = pathBuilderCurry<ISome>()("b", "c")

Here you are returning a function that returns another function. The first function takes no value parameters but it does take the one type parameter you want to specify. It then returns a function where T is specified but the other type parameters are inferred.

Neither solution is perfect, but they are the best we can do for now. Hope that helps; good luck!

More Related Contents:

  1. Typescript: infer type of generic after optional first generic
  2. In TypeScript, how to get the keys of an object type whose values are of a given type?
  3. What does “keyof typeof” mean in TypeScript?
  4. Difference between extending and intersecting interfaces in TypeScript?
  5. Why can’t TypeScript infer type from filtered arrays?
  6. Typescript partial type inference
  7. What’s the difference between ‘extends’ and ‘implements’ in TypeScript
  8. Iterable cannot confirm generic T in function
  9. Extending vs. implementing a pure abstract class in TypeScript
  10. TypeScript keyof index type is too wide
  11. *ngFor running an infinite loop in angular2
  12. get and set in TypeScript
  13. Typescript, merge object types?
  14. WARNING: sanitizing unsafe style value url
  15. Declaring the type of ‘this’ in a typescript function?
  16. Using eslint with typescript – Unable to resolve path to module
  17. Typescript error: TS7053 Element implicitly has an ‘any’ type
  18. Class type check in TypeScript
  19. Typescript: Type of a property dependent on another property within the same object
  20. Eliminate nevers to make union possible
  21. What is the “as syntax” pointed out by tslint?
  22. TypeScript interface that allows other properties
  23. Type intersections using any
  24. Vscode TS language features unavailable when tests/** are not included in the tsconfig
  25. detect change of nested property for component input
  26. Using enums as types allows values that don’t exist in the enum
  27. Typescript never type condition
  28. Is there a type in TypeScript for anything except functions?
  29. Typescript string dot notation of nested object
  30. TypeScript: augmenting built-in types

Leave a Comment