{"ast_node_type":"variable","tokens":[{"end":27,"kind":"keyword","start":0,"text":"let"}]}
    let tcx = terms_cx.tcx;
) -> ConstraintContext<'a, 'tcx> {
    let covariant = terms_cx.arena.alloc(ConstantTerm(ty::Covariant));