Making a Language This post is part of the making a language series . A series that teaches you how to implement a programming language using Rust. Today’s post is preceded by the base simplify pass . That pass, however, is not a prerequisite to understanding monomorphization. Monomorphization relies only on the IR introduced in lowering . We’ll review IR before the action starts. As we press deeper into the compiler, we strip away high level features that stand between us and machine cod...