{"ast_node_type":"variable","tokens":[{"end":76,"kind":"keyword","start":0,"text":"if"}]}
    if let Some(mir::UnevaluatedConst { def, args: _, promoted }) = uneval {
        // Use qualifs of the type for the promoted. Promoteds in MIR body should be possible