// REQUIRES: plus_one_runtime
// RUN: %target-swift-frontend -emit-sil -verify %s | %FileCheck %s

infix operator +=+ : AdditionPrecedence
extension RangeReplaceableCollection {
   public static func +=+ <
     Other : Sequence
   >(lhs: Self, rhs: Other) -> Self
    where Element == Other.Element {
     fatalError()
   }

   public static func +=+ <
     Other : Sequence
   >(lhs: Other, rhs: Self) -> Self
    where Element == Other.Element {
     fatalError()
   }

   public static func +=+ <
    Other : RangeReplaceableCollection
   >(lhs: Self, rhs: Other) -> Self
    where Element == Other.Element {
     fatalError()
   }
}

func rdar36333688(_ first: Int, _ rest: Int...) {
  // CHECK: function_ref @{{.*}} : $@convention(method) <τ_0_0 where τ_0_0 : RangeReplaceableCollection><τ_1_0 where τ_1_0 : RangeReplaceableCollection, τ_0_0.Element == τ_1_0.Element> (@in τ_0_0, @in τ_1_0, @thick τ_0_0.Type) -> @out τ_0_0
  let _ = [first] +=+ rest
}