// RUN: %target-swift-frontend -emit-ir %s | %FileCheck %s

// Ensure that the superclass's generic argument canonicalizes to
// Sequence.Element.

// CHECK: @"symbolic _____y7ElementSTQzG

public protocol ElementTypeProtocol: RandomAccessCollection {
    typealias ElementType = Element
}
extension Array: ElementTypeProtocol {}

private class WrapperBase<T> {}
private final class WrapperDerived<C: ElementTypeProtocol>: WrapperBase<C.ElementType> {
    init(base: C) {
        let _ = base
    }
}