Sirraide wrote: Do we already have tests for your most recent commit (i.e. dependent expressions)? Because I recall CI passing even when that wasn’t there, but that may have been my imagination. https://github.com/llvm/llvm-project/pull/95846