{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"if"}]}
                if matches!(allow_inference_constraints, AllowInferenceConstraints::Yes)
                // the only allowed region constraints may be constraints also present on the default impl.
                    || has_only_region_constraints(c.result)