makslevental wrote: @superbobry can you check this patch with whatever typechecker you were running (I think?) and see if it resolves the circular import issue. https://github.com/llvm/llvm-project/pull/161433