We present a prototype integration of refinement types into the Scala 3 compiler. Unlike previous systems such as Liquid Haskell, our approach performs checking directly within Scala’s type checker. We discuss the design choices required to preserve backward compatibility.