# Pyrefly reports "Class member X overrides parent class Y in an inconsistent
# manner -- Got parameter name A, expected B" even when the parameters are
# positional-only in the parent class (so the name does not matter for
# Liskov substitution).

# --------------------------------------------------------------------------
# In typeshed, Sequence.__contains__ is:
#   def __contains__(self, value: object, /) -> bool: ...
# The `/` makes `value` positional-only, so renaming it to `item` is fine.
# --------------------------------------------------------------------------


from typing import Sequence

class RouteTable(Sequence[str]):

    # pyrefly FP: Got parameter name `item`, expected `value`
    def __contains__(self, item: object) -> bool: ...