Ignore forall visibility in eqType (#22762)
This change fixes a Core lint bug (#22762 (closed)) and unblocks further work on visible forall in types of terms (!9257 (closed)).
Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template
This change fixes a Core lint bug (#22762 (closed)) and unblocks further work on visible forall in types of terms (!9257 (closed)).