Function reference_cycle 

pub fn reference_cycle(span: Span) -> Diagnostic

References nest to any depth, so a chain that reaches a section already on it is reported rather than recursed into.