The Opt_DeferErrors flag should imply Opt_DeferTypedHoles. The proper API for setting these flags that implements such implications is unfortunately not exposed by GHC.