search

Effect-TS / effect

An ecosystem of tools to build robust applications in TypeScript
https://effect.website
MIT License
7.74k stars 246 forks source link

HttpApiEndpoint.addError should accept Schema.Never as well #3925

Open mattiamanzati opened 2 weeks ago

mattiamanzati commented 2 weeks ago

What is the problem this feature would solve?

import { HttpApiEndpoint } from "@effect/platform"
import * as Schema from "effect/Schema"

HttpApiEndpoint.post("test", "/test").addError(Schema.Never)

fails to compile right now, but could it makes sense to support?

What is the feature you are proposing to solve the problem?

HttpApiEndpoint.post("test", "/test").addError(Schema.Never)

What alternatives have you considered?

No response