{"ast_node_type":"other","tokens":[{"end":11,"kind":"keyword","start":0,"text":")"}]}
) -> bool {
    target_data: &'tcx ty::List<ty::PolyExistentialPredicate<'tcx>>,
    match (source_data.principal(), target_data.principal()) {