{"ast_node_type":"function","tokens":[{"end":51,"kind":"keyword","start":0,"text":"pub(super)"}]}
pub(super) fn implied_predicates_with_filter<'tcx>(
/// the transitive super-predicates are lowered.
    tcx: TyCtxt<'tcx>,