{"ast_node_type":"function","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
                // If a type is rigid and not a fn ptr, then we know for certain
            ty::PredicatePolarity::Negative => {
                // that it does *not* implement `FnPtr`.