{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":")"}]}
) -> Option<FxIndexSet<ty::Clause<'tcx>>> {
    gat_generics: &'tcx ty::Generics,
    // The bounds we that we would require from `to_check`