`missingEffectContext` diagnostic incompatible with `.pipe()`

[mattrossman]

What version of Effect is running?

3.16.3

What steps can reproduce the bug?

In an Effect project with @effect/language-service 0.19.0:

import { Terminal } from "@effect/platform"
import { NodeRuntime } from "@effect/platform-node"
import { Effect } from "effect"

const program = Effect.gen(function* () {
  yield* Terminal.Terminal
  yield* Effect.log("Hello Effect!")
  Effect.log("hello")
}).pipe(Effect.withSpan("program"))

program.pipe(NodeRuntime.runMain)

Resulting "Problems" reported in VSCode:

I included the dangling Effect as a sanity check that the LSP is working.

What is the expected behavior?

I expect the language server to report a problem like:

Missing 'Terminal' in the expected effect context

What do you see instead?

I just see the less readable type error:

The 'this' context of type 'Effect<void, never, Terminal>' is not assignable to method's 'this' of type 'Effect<unknown, unknown, never>'.
  Type 'Terminal' is not assignable to type 'never'.

Additional information

Originally reported on Discord:
https://discord.com/channels/795981131316985866/1355071412519305366/1355187746368655462

Response from @mattiamanzati:

...that’s a bug I need to fix, basically .pipe(effect=>effect) is not always recognized as place where to check effect missing context/errors

[mattiamanzati]

I've not forgot about this,
unfortunately to properly handle all use cases we would need this to get merged:
microsoft/TypeScript#61787

[mattiamanzati]

Just finished a pr that will be soon released next week that solves this issue while using the new patching mechanism to get diagnostics at compile time as well.
Until the TS's PR gets merged, this is an attempt to get a bet dx.

https://github.com/Effect-TS/language-service?tab=readme-ov-file#option-a---effect-lsp-cli-patch-experimental-recommended