[jansvoboda11]

Do you cut off this poisoning at any point?

[WalterBright]

If something else depends on the successful semantic analysis of those poisoned nodes, they get poisoned as well. It's all based on dependency.