28 replies

Runtime Failure Without Type Checker Error in TypeScript Example

In this example, I have a runtime failure without any type checker error. Is this a bug? https://effect.website/play#80c6ea792cac

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: "" } })

Effect Community•2y ago•

28 replies

jrmdayn

Runtime Failure Without Type Checker Error in TypeScript Example

In this example, I have a runtime failure without any type checker error. Is this a bug? https://effect.website/play#80c6ea792cac

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: "" } })

Runtime Failure Without Type Checker Error in TypeScript Example

Similar Threads

Runtime Failure Without Type Checker Error in TypeScript Example

Similar Threads

Similar Threads

Similar Threads