{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
// This is very important since downstream code relies on this being correct.
// we really truly are elaborating clauses that have `ty` as their self type.
pub(super) fn assert_only_contains_predicates_from<'tcx>(