{"ast_node_type":"other","tokens":[{"end":5,"kind":"keyword","start":0,"text":"where"}]}
where
impl<'tcx, C> DebugWithContext<C> for BorrowckDomain
    C: rustc_mir_dataflow::move_paths::HasMoveData<'tcx>,