僕は頭が悪いから「暗黙の型変化のルール」がさっぱり分かりませんでした。
それと、変数にある値を代入するときに初めて、その値は変数の型と同じ型をもつと思っていました。