================ ---------------- banach-space wrote: OK, makes sense, thank you! It is worth mentioning this in the summary - the reason for the diagnostics being removed was not obvious to me (a short note would do). https://github.com/llvm/llvm-project/pull/227153