Skip to content

Commit 87022d0

Browse files
VFLashMMark-Simulacrum
VFLashM
authored and
Mark-Simulacrum
committed
Better handling for exponential-sized types in misc places
Mostly to fix ui/issues/issue-37311-type-length-limit/issue-37311.rs. Most parts of the compiler can handle deeply nested types with a lot of duplicates just fine, but some parts still attempt to naively traverse type tree. Before such problems were caught by type length limit check, but now these places will have to be changed to handle duplicated types gracefully.
1 parent 7c4c96c commit 87022d0

File tree

12 files changed

+89
-41
lines changed

12 files changed

+89
-41
lines changed

‎src/librustc_infer/infer/combine.rs

Lines changed: 13 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -31,6 +31,7 @@ use super::unify_key::replace_if_possible;
3131
use super::unify_key::{ConstVarValue, ConstVariableValue};
3232
use super::unify_key::{ConstVariableOrigin, ConstVariableOriginKind};
3333
use super::{InferCtxt, MiscVariable, TypeTrace};
34+
use rustc_data_structures::fx::FxHashMap;
3435

3536
use crate::traits::{Obligation, PredicateObligations};
3637

@@ -379,6 +380,7 @@ impl<'infcx, 'tcx> CombineFields<'infcx, 'tcx> {
379380
needs_wf: false,
380381
root_ty: ty,
381382
param_env: self.param_env,
383+
cache: FxHashMap::default(),
382384
};
383385

384386
let ty = match generalize.relate(ty, ty) {
@@ -438,6 +440,8 @@ struct Generalizer<'cx, 'tcx> {
438440
root_ty: Ty<'tcx>,
439441

440442
param_env: ty::ParamEnv<'tcx>,
443+
444+
cache: FxHashMap<(Ty<'tcx>, Ty<'tcx>), RelateResult<'tcx, Ty<'tcx>>>,
441445
}
442446

443447
/// Result from a generalization operation. This includes
@@ -535,13 +539,17 @@ impl TypeRelation<'tcx> for Generalizer<'_, 'tcx> {
535539
fn tys(&mut self, t: Ty<'tcx>, t2: Ty<'tcx>) -> RelateResult<'tcx, Ty<'tcx>> {
536540
assert_eq!(t, t2); // we are abusing TypeRelation here; both LHS and RHS ought to be ==
537541

542+
let cache_key = (t, t2);
543+
if let Some(result) = self.cache.get(&cache_key) {
544+
return result.clone();
545+
}
538546
debug!("generalize: t={:?}", t);
539547

540548
// Check to see whether the type we are generalizing references
541549
// any other type variable related to `vid` via
542550
// subtyping. This is basically our "occurs check", preventing
543551
// us from creating infinitely sized types.
544-
match t.kind {
552+
let result = match t.kind {
545553
ty::Infer(ty::TyVar(vid)) => {
546554
let vid = self.infcx.inner.borrow_mut().type_variables().root_var(vid);
547555
let sub_vid = self.infcx.inner.borrow_mut().type_variables().sub_root_var(vid);
@@ -598,7 +606,10 @@ impl TypeRelation<'tcx> for Generalizer<'_, 'tcx> {
598606
Ok(t)
599607
}
600608
_ => relate::super_relate_tys(self, t, t),
601-
}
609+
};
610+
611+
self.cache.insert(cache_key, result.clone());
612+
return result;
602613
}
603614

604615
fn regions(

‎src/librustc_middle/ty/print/mod.rs

Lines changed: 23 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@ use crate::ty::{self, DefIdTree, Ty, TyCtxt};
44
use rustc_data_structures::fx::FxHashSet;
55
use rustc_hir::def_id::{CrateNum, DefId};
66
use rustc_hir::definitions::{DefPathData, DisambiguatedDefPathData};
7+
use rustc_middle::ty::walk::MiniSet;
78

89
// `pretty` is a separate module only for organization.
910
mod pretty;
@@ -265,21 +266,33 @@ pub trait Printer<'tcx>: Sized {
265266
/// function tries to find a "characteristic `DefId`" for a
266267
/// type. It's just a heuristic so it makes some questionable
267268
/// decisions and we may want to adjust it later.
268-
pub fn characteristic_def_id_of_type(ty: Ty<'_>) -> Option<DefId> {
269+
///
270+
/// Visited set is needed in to avoid full iteration over
271+
/// deeply nested tuples that have no DefId.
272+
fn characteristic_def_id_of_type_cached<'a>(
273+
ty: Ty<'a>,
274+
visited: &mut MiniSet<Ty<'a>>,
275+
) -> Option<DefId> {
269276
match ty.kind {
270277
ty::Adt(adt_def, _) => Some(adt_def.did),
271278

272279
ty::Dynamic(data, ..) => data.principal_def_id(),
273280

274-
ty::Array(subty, _) | ty::Slice(subty) => characteristic_def_id_of_type(subty),
281+
ty::Array(subty, _) | ty::Slice(subty) => {
282+
characteristic_def_id_of_type_cached(subty, visited)
283+
}
275284

276-
ty::RawPtr(mt) => characteristic_def_id_of_type(mt.ty),
285+
ty::RawPtr(mt) => characteristic_def_id_of_type_cached(mt.ty, visited),
277286

278-
ty::Ref(_, ty, _) => characteristic_def_id_of_type(ty),
287+
ty::Ref(_, ty, _) => characteristic_def_id_of_type_cached(ty, visited),
279288

280-
ty::Tuple(ref tys) => {
281-
tys.iter().find_map(|ty| characteristic_def_id_of_type(ty.expect_ty()))
282-
}
289+
ty::Tuple(ref tys) => tys.iter().find_map(|ty| {
290+
let ty = ty.expect_ty();
291+
if visited.insert(ty) {
292+
return characteristic_def_id_of_type_cached(ty, visited);
293+
}
294+
return None;
295+
}),
283296

284297
ty::FnDef(def_id, _)
285298
| ty::Closure(def_id, _)
@@ -304,6 +317,9 @@ pub fn characteristic_def_id_of_type(ty: Ty<'_>) -> Option<DefId> {
304317
| ty::Float(_) => None,
305318
}
306319
}
320+
pub fn characteristic_def_id_of_type(ty: Ty<'_>) -> Option<DefId> {
321+
characteristic_def_id_of_type_cached(ty, &mut MiniSet::new())
322+
}
307323

308324
impl<'tcx, P: Printer<'tcx>> Print<'tcx, P> for ty::RegionKind {
309325
type Output = P::Region;

‎src/librustc_middle/ty/print/pretty.rs

Lines changed: 10 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1226,6 +1226,7 @@ pub struct FmtPrinterData<'a, 'tcx, F> {
12261226
used_region_names: FxHashSet<Symbol>,
12271227
region_index: usize,
12281228
binder_depth: usize,
1229+
printed_type_count: usize,
12291230

12301231
pub region_highlight_mode: RegionHighlightMode,
12311232

@@ -1256,6 +1257,7 @@ impl<F> FmtPrinter<'a, 'tcx, F> {
12561257
used_region_names: Default::default(),
12571258
region_index: 0,
12581259
binder_depth: 0,
1260+
printed_type_count: 0,
12591261
region_highlight_mode: RegionHighlightMode::default(),
12601262
name_resolver: None,
12611263
}))
@@ -1368,8 +1370,14 @@ impl<F: fmt::Write> Printer<'tcx> for FmtPrinter<'_, 'tcx, F> {
13681370
self.pretty_print_region(region)
13691371
}
13701372

1371-
fn print_type(self, ty: Ty<'tcx>) -> Result<Self::Type, Self::Error> {
1372-
self.pretty_print_type(ty)
1373+
fn print_type(mut self, ty: Ty<'tcx>) -> Result<Self::Type, Self::Error> {
1374+
if self.tcx.sess.type_length_limit().value_within_limit(self.printed_type_count) {
1375+
self.printed_type_count += 1;
1376+
self.pretty_print_type(ty)
1377+
} else {
1378+
write!(self, "...")?;
1379+
Ok(self)
1380+
}
13731381
}
13741382

13751383
fn print_dyn_existential(

‎src/librustc_mir/monomorphize/collector.rs

Lines changed: 28 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -419,6 +419,29 @@ fn record_accesses<'a, 'tcx: 'a>(
419419
inlining_map.lock_mut().record_accesses(caller, &accesses);
420420
}
421421

422+
// Shrinks string by keeping prefix and suffix of given sizes.
423+
fn shrink(s: String, before: usize, after: usize) -> String {
424+
// An iterator of all byte positions including the end of the string.
425+
let positions = || s.char_indices().map(|(i, _)| i).chain(iter::once(s.len()));
426+
427+
let shrunk = format!(
428+
"{before}...{after}",
429+
before = &s[..positions().nth(before).unwrap_or(s.len())],
430+
after = &s[positions().rev().nth(after).unwrap_or(0)..],
431+
);
432+
433+
// Only use the shrunk version if it's really shorter.
434+
// This also avoids the case where before and after slices overlap.
435+
if shrunk.len() < s.len() { shrunk } else { s }
436+
}
437+
438+
// Format instance name that is already known to be too long for rustc.
439+
// Show only the first and last 32 characters to avoid blasting
440+
// the user's terminal with thousands of lines of type-name.
441+
fn shrunk_instance_name(instance: &Instance<'tcx>) -> String {
442+
shrink(instance.to_string(), 32, 32)
443+
}
444+
422445
fn check_recursion_limit<'tcx>(
423446
tcx: TyCtxt<'tcx>,
424447
instance: Instance<'tcx>,
@@ -441,7 +464,10 @@ fn check_recursion_limit<'tcx>(
441464
// more than the recursion limit is assumed to be causing an
442465
// infinite expansion.
443466
if !tcx.sess.recursion_limit().value_within_limit(adjusted_recursion_depth) {
444-
let error = format!("reached the recursion limit while instantiating `{}`", instance);
467+
let error = format!(
468+
"reached the recursion limit while instantiating `{}`",
469+
shrunk_instance_name(&instance),
470+
);
445471
let mut err = tcx.sess.struct_span_fatal(span, &error);
446472
err.span_note(
447473
tcx.def_span(def_id),
@@ -475,26 +501,9 @@ fn check_type_length_limit<'tcx>(tcx: TyCtxt<'tcx>, instance: Instance<'tcx>) {
475501
//
476502
// Bail out in these cases to avoid that bad user experience.
477503
if !tcx.sess.type_length_limit().value_within_limit(type_length) {
478-
// The instance name is already known to be too long for rustc.
479-
// Show only the first and last 32 characters to avoid blasting
480-
// the user's terminal with thousands of lines of type-name.
481-
let shrink = |s: String, before: usize, after: usize| {
482-
// An iterator of all byte positions including the end of the string.
483-
let positions = || s.char_indices().map(|(i, _)| i).chain(iter::once(s.len()));
484-
485-
let shrunk = format!(
486-
"{before}...{after}",
487-
before = &s[..positions().nth(before).unwrap_or(s.len())],
488-
after = &s[positions().rev().nth(after).unwrap_or(0)..],
489-
);
490-
491-
// Only use the shrunk version if it's really shorter.
492-
// This also avoids the case where before and after slices overlap.
493-
if shrunk.len() < s.len() { shrunk } else { s }
494-
};
495504
let msg = format!(
496505
"reached the type-length limit while instantiating `{}`",
497-
shrink(instance.to_string(), 32, 32)
506+
shrunk_instance_name(&instance),
498507
);
499508
let mut diag = tcx.sess.struct_span_fatal(tcx.def_span(instance.def_id()), &msg);
500509
diag.note(&format!(

‎src/test/ui/infinite/infinite-instantiation.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
error: reached the recursion limit while instantiating `function::<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<usize>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>`
1+
error: reached the recursion limit while instantiating `function::<std::option::Option<s...>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>`
22
--> $DIR/infinite-instantiation.rs:21:9
33
|
44
LL | function(counter - 1, t.to_option());

‎src/test/ui/issues/issue-37311-type-length-limit/issue-37311.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -12,8 +12,8 @@ trait Foo {
1212

1313
impl<T> Foo for T {
1414
#[allow(unconditional_recursion)]
15-
fn recurse(&self) { //~ ERROR reached the type-length limit
16-
(self, self).recurse();
15+
fn recurse(&self) {
16+
(self, self).recurse(); //~ ERROR reached the recursion limit
1717
}
1818
}
1919

‎src/test/ui/issues/issue-37311-type-length-limit/issue-37311.stderr

Lines changed: 7 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,14 @@
1-
error: reached the type-length limit while instantiating `<(&(&(&(&(&(&(&(&(&(&(&(&(&(&(&(...))))))))))))))) as Foo>::recurse`
1+
error: reached the recursion limit while instantiating `<(&(&(&(&(&(&(&(&(&(&(&(&(&(&(&(.....), ...), ...) as Foo>::recurse`
2+
--> $DIR/issue-37311.rs:16:9
3+
|
4+
LL | (self, self).recurse();
5+
| ^^^^^^^^^^^^^^^^^^^^^^
6+
|
7+
note: `<T as Foo>::recurse` defined here
28
--> $DIR/issue-37311.rs:15:5
39
|
410
LL | fn recurse(&self) {
511
| ^^^^^^^^^^^^^^^^^
6-
|
7-
= note: consider adding a `#![type_length_limit="2097149"]` attribute to your crate
812

913
error: aborting due to previous error
1014

‎src/test/ui/issues/issue-67552.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
error: reached the recursion limit while instantiating `rec::<&mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut &mut Empty>`
1+
error: reached the recursion limit while instantiating `rec::<&mut &mut &mut &mut &mut &... &mut &mut &mut &mut &mut Empty>`
22
--> $DIR/issue-67552.rs:27:9
33
|
44
LL | rec(identity(&mut it))

‎src/test/ui/issues/issue-8727.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ LL | generic::<Option<T>>();
99
= note: `#[warn(unconditional_recursion)]` on by default
1010
= help: a `loop` may express intention better if this is on purpose
1111

12-
error: reached the recursion limit while instantiating `generic::<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<std::option::Option<i32>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>`
12+
error: reached the recursion limit while instantiating `generic::<std::option::Option<st...>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>`
1313
--> $DIR/issue-8727.rs:7:5
1414
|
1515
LL | generic::<Option<T>>();

‎src/test/ui/recursion/issue-38591-non-regular-dropck-recursion.stderr

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
error: reached the recursion limit while instantiating `std::intrinsics::drop_in_place::<S<fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(u32))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))>> - shim(Some(S<fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(fn(u32))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))>))`
1+
error: reached the recursion limit while instantiating `std::intrinsics::drop_in_place::...)))))))))))))))))))))))))))))>))`
22
--> $SRC_DIR/core/src/ptr/mod.rs:LL:COL
33
|
44
LL | / pub unsafe fn drop_in_place<T: ?Sized>(to_drop: *mut T) {

0 commit comments

Comments
 (0)