pub fn recursive_type_error(
    tcx: TyCtxt<'_>,
    item_and_field_ids: Vec<(LocalDefId, LocalDefId)>,
    representable_ids: &FxHashSet<LocalDefId>
)