Symbol: k5_infer_principal_type