{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"///"}]}
/// the transitive super-predicates are lowered.
/// of `trait_def_id` are lowered and stored. This also ensures that
pub(super) fn explicit_super_predicates_of<'tcx>(