Mixed spaces and tabs in indentions

Here's a situation the results in a mix of tabs and spaces in an indent - disastrous.

There's source code somewhere outside the editor (maybe web page, maybe a text editor) that includes a tab followed by spaces within an indent of a line. Copying and pasting that code into the online editor doesn't result in the space being converted; in fact, it seems an even stranger mix of spaces and tabs results in that line's indent. Although the code still _appears_ fine on screen (in online editor), it won't work properly on the micro:bit.

ファイル、テスト、エントリポイントのいずれも指定されていません。まず、インデント内にタブに続いてスペースが含まれるコードを貼り付けてオンラインエディターで問題を再現し、その結果のインデントを micro:bit で実行したコードのインデントと比較してください。この入力で無効なインデントが発生しなくなれば完了としますが、意図する正規化の動作は指定されていません。

索引モデルが issue の本文から書いたものです。