Update 10567 test case for exhaustive check of TypeInfo generation