Sirraide wrote: Oh yeah, and one more thing I forgot about earlier: this definitely need some tests involving templates to make sure that instantiations are also treated as implicitly `constexpr`. https://github.com/llvm/llvm-project/pull/136436