add type level test for PR #5360

Author: gcanti

packages/effect/dtslint/Schema/Brand.tst.ts

@@ -1,6 +1,6 @@
 /* eslint-disable @typescript-eslint/no-unused-vars */
 import { pipe, Schema } from "effect"
-import { describe, expect, it } from "tstyche"
+import { describe, expect, it, when } from "tstyche"
 
 const Int1 = Symbol.for("Int")
 const Int2 = Symbol.for("Int")
@@ -16,4 +16,13 @@ describe("SchemaBrand", () => {
     expect<A1>().type.not.toBeAssignableTo<A2>()
     expect<A2>().type.not.toBeAssignableTo<A1>()
   })
+
+  it("should raise an error when the brand is not assignable to the schema", () => {
+    when(pipe).isCalledWith(
+      Schema.Number,
+      expect(Schema.brand).type.not.toBeCallableWith("UserId", {
+        examples: ["a"]
+      })
+    )
+  })
 })