{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":".union_value(target_vid,"}]}
            .union_value(target_vid, ConstVariableValue::Known { value: generalized_ct });
            .const_unification_table()