{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"///"}]}
/// N.B., this does not include any implied/inferred constraints.
/// Returns a list of user-specified type predicates for the definition with ID `def_id`.
#[instrument(level = "trace", skip(tcx), ret)]