chris-hatton

import UIKit

class A : CustomDebugStringConvertible
{
    let message: String
    
    required init( message: String ) { self.message = message }
    
    var debugDescription: String { return message }
}

chris-hatton

protocol ProtocolA {}
protocol ProtocolB {}

func overloadingTest ( obj: String ) -> String
{
    return "It's a String"
}

func overloadingTest ( obj: Int ) -> String  // This compiles fine, and the appropriate 'topLevelTest' function is called

chris-hatton

protocol ProtocolA {}
protocol ProtocolB {}

func overloadingTest <T where T: ProtocolA>( obj: T ) -> String
{
    return "It's an implementation of Protocol A"
}

func overloadingTest <T where T: ProtocolB>( obj: T ) -> String // This compiles fine, and the appropriate 'topLevelTest' function is bound

chris-hatton

class A<SelfType : A<SelfType>>
{
}

class B : A<B>  // Line fails to compile with: "'A' requires that 'B' inherit from 'A<B>'" even though it does
{
}

chris-hatton

protocol MyProtocol
{
	typealias GenType

	func doSomething(param: GenType)
}

class MyObject<T> : MyProtocol
{
	typealias GenType = T