Runtime Failure Without Type Checker Error in TypeScript Example

import { Schema } from "@effect/schema"

export class Bar extends Schema.Class<Bar>("Bar")({
  s: Schema.String
}) {
  // _() {} // uncomment this to have a type failure
}

const Foo = Schema.Struct({ bar: Bar })
Foo.make({ bar: { s: "" } })

import { Schema } from "@effect/schema"

export class Bar extends Schema.Class<Bar>("Bar")({
  s: Schema.String
}) {
  // _() {} // uncomment this to have a type failure
}

const Foo = Schema.Struct({ bar: Bar })
Foo.make({ bar: { s: "" } })