Ensuring a Struct conforms to a certain shape in TypeScript can be tricky, especially when dealin...

import { Schema as S } from 'effect';

const a = S.Struct({
  variableKeyNotOptional: S.String,
  alwaysDefinedOptional: S.String.pipe(S.optional),
  alwaysDefinedNotOptional: S.String,
});

type B = S.Struct<
  Record<string, S.Schema.Any> & {
    alwaysDefinedOptional: S.optional<S.Schema.Any>['from']
    alwaysDefinedNotOptional: S.Schema.Any;
  }
>;

const b = a satisfies B; // error

import { Schema as S } from 'effect';

const a = S.Struct({
  variableKeyNotOptional: S.String,
  alwaysDefinedOptional: S.String.pipe(S.optional),
  alwaysDefinedNotOptional: S.String,
});

type B = S.Struct<
  Record<string, S.Schema.Any> & {
    alwaysDefinedOptional: S.optional<S.Schema.Any>['from']
    alwaysDefinedNotOptional: S.Schema.Any;
  }
>;

const b = a satisfies B; // error