Repository navigation

test(types): teach the WiderThanDeclared operator to see an open-record mirror #16196

Job	Run time
Changeset Fixed Group Check	7s
Test (shard 4/4)	13m 52s
Type Check	9m 50s
Build Docs	14s
Test (shard 1/4)	16m 14s
Build & E2E	1m 0s
Test (shard 3/4)	14m 52s
Test (shard 2/4)	15m 22s
Test (coverage shard ${{ matrix.shard }}/4)	0s
Test (coverage)	0s
	1h 11m 31s