ModuleInterface: Adopt swiftinterface verification lit substitutions in escape-Type-and-Protocol.swift. Update the test to no longer expect @_hasInitialValue to be emitted since that attribute is intentionally dropped from interfaces when -enable-library-evolution is specified.

Author: tshortli

test/ModuleInterface/escape-Type-and-Protocol.swift

@@ -1,4 +1,6 @@
-// RUN: %target-swift-frontend -typecheck -emit-module-interface-path - %s | %FileCheck %s
+// RUN: %target-swift-emit-module-interface(%t.swiftinterface) %s -module-name main
+// RUN: %target-swift-typecheck-module-from-interface(%t.swiftinterface) -module-name main
+// RUN: %FileCheck %s < %t.swiftinterface
 
 // CHECK: public let Type: Swift.Int
 public let Type = 0
@@ -17,7 +19,7 @@ public class B {
   // CHECK: }
   public class `Type` {}
 
-  // CHECK-NEXT: @_hasInitialValue public var `Type`: Swift.Int
+  // CHECK-NEXT: public var `Type`: Swift.Int
   public var `Type` = 0
 // CHECK: }
 }