{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"def_id:"}]}
            def_id: DefId,
            f: impl Fn(DefId) -> ty::GenericPredicates<'tcx> + Copy,
        ) -> Self {