{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"(Some(src_principal),"}]}
                    (Some(src_principal), Some(dst_principal)) => {
                match (principal(&src_tty), principal(&dst_tty)) {
                        if src_principal == dst_principal {