Backport "Fix isomorphism tests of AndOrTypes under non-empty BinderPairs" to LTS
#19915
| Job | Run time |
|---|---|
| 5s | |
| 5s |
AndOrTypes under non-empty BinderPairs" to LTS
#19915
| Job | Run time |
|---|---|
| 5s | |
| 5s |