 // CHECK-DEAD-NOT: @_T04test7StructDVAA5ProtoAAWP =
 
 public protocol Proto {
-	func abc()
+  func abc()
 }
 
 struct StructA : Proto {
-	func abc() {
-	}
+  func abc() {
+  }
 }
 
 struct StructB : Proto {
-	func abc() {
-	}
+  func abc() {
+  }
 }
 
 struct StructC : Proto {
-	func abc() {
-	}
+  func abc() {
+  }
 }
 
 // This is the only struct for which no metadata and conformances are needed.
 struct StructD : Proto {
-	func abc() {
-	}
+  func abc() {
+  }
 }
 
 @inline(never)

var d = StructD()

public func callfuncA() {
	consume1(a)
}

public func callfuncB() {
	consume2(b)
}

public func callfuncC() {
	consume3(c)
}

public func callfuncD() {
	consume4(d)
}


@inline(never)
@_semantics("optimize.sil.never")
func consume2<T: Proto>(_ t: T) {
  t.abc()
}
@inline(never)
@_semantics("optimize.sil.never")
func consume3(_ p: Proto) {
  p.abc()
}
@inline(never)
@_semantics("optimize.sil.never")
