{"ast_node_type":"variable","tokens":[{"end":19,"kind":"keyword","start":0,"text":"let"}]}
    let predicate =
    // hidden type is well formed even without those bounds.
        ty::Binder::dummy(ty::PredicateKind::Clause(ty::ClauseKind::WellFormed(hidden_ty.into())));