Use Record<string, never> instead of {} for empty types

Is your feature request related to a problem? Please describe. By default the typescript resolver plugin creates typing information of the form

export type Resolver<TResult, TParent = {}, TContext = {}, TArgs = {}> = ...

export type ResolversParentTypes = ResolversObject<{
  Mutation: {};
  Query: {};
}

The expectation here is that {} denotes the empty type (which only accepts the empty variable {}). However, this is not the case:

interface AAA {
  aaa: {};
}

const x: AAA = { aaa: true };

compiles just fine. Indeed, the type {} stands for any non-nullish value. For more details and examples see https://github.com/typescript-eslint/typescript-eslint/issues/2063#issuecomment-675156492.

Describe the solution you’d like Using Record<string, never> instead of {} at least for parents and args (not sure about the default context).

Describe alternatives you’ve considered

Additional context

[charlypoly]

@fivethreeo the provided test is actually passing with {}.

While I agree with the design idea from @tobiasdiez, the current implementation is working properly and does not introduce unwanted behaviors.

[Urigo]

Hi @tobiasdiez and thank you for the report!

Sorry but I’m not adding a lot here but just labeling it according to our new Contribution Guide and issue flow.

It seems already got into stage 0.

Now in order to advance to stage 1 we’ll need a simple reproduction, maybe in code-sandbox?

Later to progress to stage 2, a failing test would be needed, would be great if someone could help progress the issues through the stages.

Thank you and sorry that this comment is not a complete solution (yet).