{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"ty::PredicatePolarity::Negative"}]}
            ty::PredicatePolarity::Negative => {
            //  impl !FnPtr for T where T != FnPtr && T is rigid {}
                // If a type is rigid and not a fn ptr, then we know for certain