FILE: methodOfAnyImplementedInInterface.kt
    public abstract interface A : R|kotlin/Any| {
        public open override fun toString(): R|kotlin/String| {
            ^toString String(Hello)
        }

        public open override operator fun equals(other: R|kotlin/Any?|): R|kotlin/Boolean| {
            ^equals Boolean(true)
        }

        public open override fun hashCode(): R|kotlin/Int| {
            ^hashCode Int(42)
        }

    }
    public abstract interface B : R|kotlin/Any| {
        public abstract override fun toString(): R|kotlin/String|

        public abstract override operator fun equals(other: R|kotlin/Any?|): R|kotlin/Boolean|

        public abstract override fun hashCode(): R|kotlin/Int|

    }
    public abstract interface C : R|kotlin/Any| {
        public open override operator fun toString(): R|kotlin/String| {
            ^toString String(Rest)
        }

        public open override operator fun equals(other: R|kotlin/Any?|): R|kotlin/Boolean| {
            ^equals Boolean(false)
        }

        public open override operator fun hashCode(): R|kotlin/Int| {
            ^hashCode Int(2)
        }

    }
    public abstract interface D : R|kotlin/Any| {
        public abstract override operator fun toString(): R|kotlin/String|

        public abstract override operator fun equals(other: R|kotlin/Any?|): R|kotlin/Boolean|

        public abstract override operator fun hashCode(): R|kotlin/Int|

    }
    public abstract interface I : R|kotlin/Any| {
        public abstract fun R|kotlin/String|.hashCode(): R|kotlin/Int|

        context(string: R|kotlin/String|)
        public abstract fun hashCode(): R|kotlin/Int|

        public abstract fun R|kotlin/String|.toString(): R|kotlin/String|

        context(string: R|kotlin/String|)
        public abstract fun toString(): R|kotlin/String|

    }
    public abstract interface J : R|I| {
        public open override fun R|kotlin/String|.hashCode(): R|kotlin/Int| {
            ^hashCode Int(1)
        }

        context(string: R|kotlin/String|)
        public open override fun hashCode(): R|kotlin/Int| {
            ^hashCode Int(1)
        }

        public open override fun R|kotlin/String|.toString(): R|kotlin/String| {
            ^toString String()
        }

        context(string: R|kotlin/String|)
        public open override fun toString(): R|kotlin/String| {
            ^toString String()
        }

    }
