{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"///"}]}
/// dataflow).
/// This is used to check for places conflicting outside of the borrow checking code (such as in
pub fn places_conflict<'tcx>(