syntax_data: {"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"p.has_non_region_infer()"}]}
source_snippet:                     p.has_non_region_infer()
context_before:                 && obligation.predicate.args[generics.parent_count..].iter().any(|&p| {
context_after:                         && match p.kind() {