Additional fix for issue 10567 in order to generate correct TypeInfo