{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":")"}]}
) -> Option<Span> {
    early_bound_region: ty::Region<'tcx>,
    for (pred, span) in tcx.explicit_predicates_of(def_id).instantiate_identity(tcx) {