pattern_type_mismatch_in_irrefutable_context

一致した値の型 '{0}' は、必須の型 '{1}' に代入できません。

この診断は、パターン代入またはパターン宣言の右辺の値の型が、それを照合するために使用されているパターンの要求する型と一致しない場合に、アナライザーによって生成されます。

以下のコードは、x が String ではない可能性があり、そのためオブジェクトパターンと一致しない可能性があるため、この診断を生成します。

void f(Object x) {
  var String(length: a) = x;
  print(a);
}

右辺の式の型が、パターンが要求する型と一致するようにコードを変更してください。

void f(String x) {
  var String(length: a) = x;
  print(a);
}