{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"//"}]}
        // soundness.
        // Exhaustive match considering that this logic is essential for
        let (local_impl, nonlocal_impl) = match self_ty.kind() {