{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"impl<'tcx>"}]}
impl<'tcx> KillsCollector<'_, 'tcx> {
// and the datalog polonius fact generation for the `loan_killed_at` relation.
    /// Records the borrows on the specified place as `killed`. For example, when assigning to a