allow-eager-drops guarantee-non-static-destructors master novalis/read-all patch-1 patch-2