{"ast_node_type":"impl","tokens":[{"end":38,"kind":"keyword","start":0,"text":"//"}]}
            // impl FnPtr for FnPtr {}
        match goal.predicate.polarity {
            ty::PredicatePolarity::Positive => {