{"ast_node_type":"function","tokens":[{"end":57,"kind":"keyword","start":0,"text":"pub(super)"}]}
pub(super) fn assert_only_contains_predicates_from<'tcx>(
// This is very important since downstream code relies on this being correct.
    filter: PredicateFilter,