Oh ok, for some reason I thought you were talking about eliminating default init in favor of flow-checking for use-before-init.