{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"impl<'tcx>"}]}
impl<'tcx> rustc_mir_dataflow::Analysis<'tcx> for Borrows<'_, 'tcx> {
///   `a.b.c` when `a` is overwritten.
    type Domain = BorrowsDomain;