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