{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"if"}]}
    if types.is_empty() && regions.is_empty() {
    // intersection of requirements of all methods)
        return None;