// TODO experimental, add to generator as a commented-out diagnostic; consider adding diagnostic mode