{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"#[instrument(level"}]}
#[instrument(level = "trace", skip(tcx), ret)]
/// N.B., this does not include any implied/inferred constraints.
fn gather_explicit_predicates_of(tcx: TyCtxt<'_>, def_id: LocalDefId) -> ty::GenericPredicates<'_> {