We present a new building block for the Scala Programming Language called inline traits. We describe the semantics of this construct, how we leverage the compiler internals to implement it, and what are the limitations we have to impose to keep the semantics aligned with the semantics of regular traits. We discuss how inline traits can help build a new model to monomorphise Scala 3 code and how this construct can also complement Scala 3’s macro system.