Can't we enable it with the generated checks?