fn recursively_reachable(tcx: TyCtxt<'_>, def_id: DefId) -> bool
Determines whether this item is recursive for reachability. See is_recursively_reachable_local below for details.
is_recursively_reachable_local