pub fn recursive_type_with_infinite_size_error<'tcx>( tcx: TyCtxt<'tcx>, type_def_id: DefId, spans: Vec<(Span, Option<HirId>)>)