flutter - 二重疑問符 '??' の Null Safety デフォルト値タイプ エラーをデバッグする方法

Question

最近、二重の疑問符を使用すると、奇妙な動作に遭遇します。コード例は次のとおりです。

void main() {
  String strA;
  String strB;

  print('start');
  strB = strA ?? 5; // wrong use of default value type. It should be a String here.
  print('end');
}

プログラムが最後まで実行されることはなく、エラー メッセージも表示されません。

動作は想定されていますか?