Previously we simply failed to Lint these DFunUnfoldings, which led
to a very delayed error message for Trac #12944