これは、エラーマークアップ機構の小さなバグだと思います。コードを編集するか、このエディターを閉じて新しいエディターを開いてみてください。これを再現する手順のリストがある場合は、バグレポート を作成することもできます。 、修正されます。