Rule Idea: Pipeline Type Checking against Output

This is just a spitball idea to contribute feedback if it is maybe feasible, I might consider attempting a PR

Problem

Often when writing a pipeline you may pipe an incompatible type, and you won't find out until runtime.

Proposed solution

If the output type of a function can be explicitly determined by:

1. Use the .OUTPUT comment based help section to define the output type of a function
2. Take all explicit return keywords that explicitly cast to a type e.g. return [MyType]@{} or can be simply derived from a typed variable e.g. $f = [MyType]::new();return $f

And the function being called either to or from meets the following criteria:

1. Has strictly typed non-primitive parameter or ValueFromPipeline

Then we should be able to safely issue a warning or error stating something like "MyFunction expected [MyType] but is receiving [WrongType] via the pipeline" as a static analysis.

#Issues

1. Easily castable types like string we have to exclude, they will basically always match
2. Probably should support/detect explicit casts or interfaces

Prior Art

How JSDoc can be used to test for type safety in normally-untyped javascript.

まず、issue で説明されている出力型の候補ソース、パイプラインパラメータのチェック、キャストの例外、JSDoc の先行事例を確認します。実装前にアナライザーのエントリーポイントとスコープを定義します。完了の条件は、決定したアプローチで互換性のないパイプライン型を検出し、安全にキャスト可能な値を除外しつつ、明示的なキャストまたはインターフェースを処理できることです。