C＃7のパターンマッチングセマンティクス

Question

私が考えるしたいコードの2つのブロックが等しいた：

まずifベースブロック

そしてまったく同じであるが、タイプ上ケースを切り替える変換。

コードがnullでない最初return Actor.Doneにnull参照例外がスローされ基づいてスイッチを（悪いResharperの赤色の波線マーカーについて申し訳ありませんが、Resharperのは、まだこのことを理解doesntの）。

これはパターンマッチのバグですか、私がここで欠けている意味ですか？

私はそれのための修正を見つけた[編集] ..

この変更：

case MessageEnvelope _: 
    var env = m as MessageEnvelope; 

に

case MessageEnvelope env: 

は、それがすべての仕事します。 それで、私には疑問が残っています。

Answer 1

これは、switch文で宣言されたパターン変数を（ラムダで）キャプチャするときの既知のバグです。 https://github.com/dotnet/roslyn/issues/16066