{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"Some(&fallback_ty)"}]}
                Some(&fallback_ty) => fallback_ty,
            _ => match diverging_fallback.get(&ty) {
                None => return false,