Resolver still type checks even when both globalLayer and local layer are not provided

[vecerek]

See the following PR demonstrating the issue: #6.

I would expect a compilation error in such a case instead of a runtime error. The runtime error can be difficult to debug, especially in the case of massive layers.

[iamchanii]

I just checked out your demo lightly. it is not a bug and it just a part of not implemented of this library. IMO.

pothos-plugin-effect/src/types.ts

Lines 140 to 144 in 6057f97

	export type PluginOptions<Types extends SchemaTypes> = EmptyToOptional<{
	defaultFailErrorConstructor?: { new(message: string): unknown };
	globalContext?: ((conext: Types['Context']) => Types['EffectGlobalContext']) | Types['EffectGlobalContext'];
	globalLayer?: ((conext: Types['Context']) => Types['EffectGlobalLayer']) | Types['EffectGlobalLayer'];
	}>;

I think it is caused by above types. is globalLayer able to require type based on Types['EffectGlobalContext']?

[vecerek]

it is not a bug and it just a part of not implemented of this library

@iamchanii bug or not, I wish it didn't type check.