{"ast_node_type":"function","tokens":[{"end":44,"kind":"keyword","start":0,"text":"pub(super)"}]}
pub(super) fn check_opaque_for_cycles<'tcx>(
/// Checks that an opaque type does not contain cycles.
    tcx: TyCtxt<'tcx>,