QuantumSegfault wrote: @dschuff I never got an answer to my last question (https://github.com/llvm/llvm-project/pull/163326#issuecomment-3408255925). Please elaborate on your request that I add type check support. https://github.com/llvm/llvm-project/pull/163326