ktanishqk wrote: @gysit @Men-cotton @ftynse pushed the warning for unmapped `!associated` (e.g. `ptr null`). happy to file a follow-up issue for ctor/dtor targeting if we want to proceed in that direction potentially. https://github.com/llvm/llvm-project/pull/218839