{"ast_node_type":"variable","tokens":[{"end":47,"kind":"keyword","start":0,"text":"let"}]}
    let mut constraint_cx = ConstraintContext {
    let bivariant = terms_cx.arena.alloc(ConstantTerm(ty::Bivariant));
        terms_cx,