{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"if"}]}
        if annotation.has_incompatible_universes() {
        // outlive `'static`.
            // Optimisation opportunity: this will add more constraints than