How does ArrayLiteralElement get defaulted in SetAlgebra?

DevAndArtist · August 21, 2019, 7:12am

That's exactly how it gets defaulted to that type:

apple/swift/blob/main/stdlib/public/core/SetAlgebra.swift#L563


      
            ///     print(attendees.isStrictSubset(of: attendees))
            ///     // Prints "false"
            ///
            /// - Parameter other: A set of the same type as the current set.
            /// - Returns: `true` if the set is a strict subset of `other`; otherwise,
            ///   `false`.
            @inlinable // protocol-only
            public func isStrictSubset(of other: Self) -> Bool {
              return other.isStrictSuperset(of: self)
            }
          }
          
          extension SetAlgebra where Element == ArrayLiteralElement {
            /// Creates a set containing the elements of the given array literal.
            ///
            /// Do not call this initializer directly. It is used by the compiler when
            /// you use an array literal. Instead, create a new set using an array
            /// literal as its value by enclosing a comma-separated list of values in
            /// square brackets. You can use an array literal anywhere a set is expected
            /// by the type context.
            ///

The where clause is simply ignored.

For more information on that read this thread:

Are there any further stdlib development related questions, otherwise I'd move this thread into Using Swift?!