{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":")"}]}
    ) -> bool {
        binding: NameBinding<'_>,
        // self > max(invoc, binding) => !(self <= invoc || self <= binding)