TypeApplications implies PartialTypeSignatures?

I was expecting the following to be rejected, since the type argument contains a type-hole, but ghc accepts it:

/opt/ghc/ghc-9.2.1.20220211/bin/ghc -XTypeApplications  -e 'print @(Maybe _) (Just ())'

It seems that PartialTypeSignatures is implied here. I don't see this mentioned in the docs.

The implied flag cannot be switched off. This is also accepted:

/opt/ghc/ghc-9.2.1.20220211/bin/ghc -XTypeApplications -XNoPartialTypeSignatures -e 'print @(Maybe _) (Just ())'

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information