   init() {} // expected-note{{selected non-required initializer}}
 
   convenience init(other: Z4) {
-    other.init() // expected-error{{'init' is a member of the type}}
+    other.init() // expected-error{{'init' is a member of the type; insert '.dynamicType' to initialize a new object of the same dynamic type}}
     other.dynamicType.init() // expected-error{{must use a 'required' initializer}} expected-warning{{unused}}
   }
 }

   var i = 42
   init() {}
   func foo() {
      self.init() // expected-error {{'init' is a member of the type}}
      self.dynamicType.init() // expected-warning{{result of initializer is unused}}
   }
}

  override init() { }

  convenience init(other: Z5) {
    other.init() // expected-error{{'init' is a member of the type; insert '.dynamicType' to initialize a new object of the same dynamic type}}
  }
}

