Example for Radar 18877135

subclass-float-literal.swift

/*

Subclassing a FloatLiteralConvertible conforming class and then using the convertible bit uses the superclass initializer, even when the subclass type is specified explicitly.

% xcrun -sdk macosx swiftc ./subclass-float-literal.swift 
% ./subclass-float-literal
b1 className = B
b1 = B
b2 className = A
assertion failed: Must be subclassed: file ./subclass-float-literal.swift, line 23

*/
public class A: FloatLiteralConvertible, Printable {
  let value: Double;

  public required init(floatLiteral value: Double) {
    self.value = value
  }

  public var className: String { get { return "A" } }
  public var name: String {
    get {
      assert(false, "Must be subclassed")
    }
  }
  public var description: String {
    get {
      return self.name
    }
  }
}
public class B: A {
  public override var className: String { get { return "B" } }
  public override var name: String { get { return "B" } }
}

// Explicitly specifying the type and calling the subclass constructor works.
let b1:B = B(floatLiteral:1.0)
println("b1 className = \(b1.className)")
println("b1 = \(b1)")

// Explicitly specifying the type and assuming the float conversion path will pick it up instead gets the superclass (presumably) and then hits the assert()
let b2:B = 2.0
println("b2 className = \(b2.className)")
println("b2 = \(b2)")