{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"//"}]}
    // The bounds we that we would require from `to_check`
) -> Option<FxIndexSet<ty::Clause<'tcx>>> {
    let mut bounds = FxIndexSet::default();