Source Generator: default destructors provided in class generator