Type checking doesn't seem to be major bottleneck at all. The major issues seem to be 1) Technical debt in rustc producing large amounts of LLVM IR and expecti

Type checking doesn't seem to be major bottleneck at all. The major issues seem to be 1) Technical debt in rustc producing large amounts of LLVM IR and expecting LLVM to optimize it away 2) generic monomorphization producing vast amount of IR IIRC.