>その型以外の変数にその値を代入したり比較したらエラーにしてくれるとか、
コンパイル時に警告出力しないか?

>逆にその型で宣言した変数にそれ以外のものを代入したらエラーにしてくれるとか
コンパイル時に警告出力しないか?