Why would a typechecker written in rust be able to implement a different logic than one written in any other language? And one written in python could just use

Why would a typechecker written in rust be able to implement a different logic than one written in any other language? And one written in python could just use python for the grammar so it would have the advantage of always loading the code the same exact way as python does.