Skip to content

Ignore forall visibility in eqType (#22762)

Vladislav Zavialov requested to merge wip/int-index/core-ignore-forall-vis into master

This change fixes a Core lint bug (#22762 (closed)) and unblocks further work on visible forall in types of terms (!9257 (closed)).

Merge request reports