> I know, because I rewrote a different 100KLOC typechecker myself in Rust (making a few small adjustments for a slightly different target language). It took me about a year.

It sounds like you could easily have a nice consulting gig for Microsoft.