{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"def.variants().len()"}]}
            def.variants().len() > 1 || def.variant_list_has_applicable_non_exhaustive()
            // a MultiVariant.
        } else {