[SIL tests] Don’t intersperse declarations and SIL in ‘Swift’ module.

Doing this relies on type checker state getting wiped out in between SIL
declarations, which is odd.

Author: DougGregor

test/SIL/ownership-verifier/false_positive_leaks.sil

@@ -12,8 +12,9 @@ sil_stage canonical
 
 import Builtin
 
-sil @in_guaranteed_user : $@convention(thin) (@in_guaranteed Builtin.NativeObject) -> ()
 protocol Error {}
+
+sil @in_guaranteed_user : $@convention(thin) (@in_guaranteed Builtin.NativeObject) -> ()
 sil @error_func : $@convention(thin) () -> (Builtin.Int32, @error Error)
 sil @allocate_object : $@convention(thin) () -> (@owned Builtin.NativeObject)
 

test/SIL/ownership-verifier/use_verifier.sil

@@ -13,8 +13,6 @@ import Builtin
 // Declarations //
 //////////////////
 
-sil @allocate_object : $@convention(thin) () -> @owned Builtin.NativeObject
-
 typealias AnyObject = Builtin.AnyObject
 
 public protocol Error {}
@@ -36,8 +34,6 @@ case trivial_payload(Builtin.Int32)
 case nontrivial_payload(Builtin.NativeObject)
 }
 
-sil @three_differing_payload_enum_user : $@convention(thin) (@owned ThreeDifferingPayloadEnum, @guaranteed ThreeDifferingPayloadEnum, ThreeDifferingPayloadEnum) -> ()
-
 struct TrivialStruct {
   var f1: Builtin.Int32
   var f2: Builtin.Int32
@@ -67,8 +63,6 @@ protocol SwiftKlassP : class {
   func foo()
 }
 
-sil @nontrivial_unowned_user : $@convention(thin) (Builtin.NativeObject) -> ()
-
 struct Val {
 }
 class Ref {
@@ -78,15 +72,10 @@ struct Aleph {
   var b:Val
 }
 
-sil @borrow_tuple_user : $@convention(thin) (@guaranteed (Builtin.Int32, Builtin.NativeObject, Builtin.Int32, Builtin.NativeObject)) -> ()
-sil @unowned_tuple_user : $@convention(thin) ((Builtin.Int32, Builtin.NativeObject, Builtin.Int32, Builtin.NativeObject)) -> ()
-
 struct Int {
   var value: Builtin.Int64
 }
 
-sil @no_arg_or_output_function : $@convention(thin) () -> ()
-
 class RefWithInt {
   var value: Builtin.Int32
 
@@ -101,6 +90,18 @@ class RefWithRef {
   init()
 }
 
+sil @no_arg_or_output_function : $@convention(thin) () -> ()
+
+
+sil @allocate_object : $@convention(thin) () -> @owned Builtin.NativeObject
+
+sil @three_differing_payload_enum_user : $@convention(thin) (@owned ThreeDifferingPayloadEnum, @guaranteed ThreeDifferingPayloadEnum, ThreeDifferingPayloadEnum) -> ()
+
+sil @nontrivial_unowned_user : $@convention(thin) (Builtin.NativeObject) -> ()
+
+sil @borrow_tuple_user : $@convention(thin) (@guaranteed (Builtin.Int32, Builtin.NativeObject, Builtin.Int32, Builtin.NativeObject)) -> ()
+sil @unowned_tuple_user : $@convention(thin) ((Builtin.Int32, Builtin.NativeObject, Builtin.Int32, Builtin.NativeObject)) -> ()
+
 sil @produce_owned_optional : $@convention(thin) () -> @owned Optional<Builtin.NativeObject>
 sil @guaranteed_nativeobject_user : $@convention(thin) (@guaranteed Builtin.NativeObject) -> ()