{"ast_node_type":"variable","tokens":[{"end":71,"kind":"keyword","start":0,"text":"if"}]}
    if let Some((def_id, supertraits)) = trait_def_id_and_supertraits {
        // We've checked above that the trait is conditionally const.