@effect/tsgo 0.21.0 → 0.22.0

package/README.md

@@ -49,6 +49,7 @@ Some diagnostics are off by default or have a default severity of suggestion, bu
     <tr><td><code>nonObjectEffectServiceType</code></td><td>❌</td><td></td><td>Ensures Effect.Service types are objects, not primitives</td><td>✓</td><td></td></tr>
     <tr><td><code>outdatedApi</code></td><td>⚠️</td><td></td><td>Detects usage of APIs that have been removed or renamed in Effect v4</td><td></td><td>✓</td></tr>
     <tr><td><code>overriddenSchemaConstructor</code></td><td>❌</td><td>🔧</td><td>Prevents overriding constructors in Schema classes which breaks decoding behavior</td><td>✓</td><td>✓</td></tr>
+    <tr><td><code>schemaOpaqueInstanceMember</code></td><td>❌</td><td></td><td>Disallows instance members in classes extending Schema.Opaque</td><td></td><td>✓</td></tr>
     <tr><td colspan="6"><strong>Anti-pattern</strong> <em>Discouraged patterns that often lead to bugs or confusing behavior.</em></td></tr>
     <tr><td><code>catchUnfailableEffect</code></td><td>💡</td><td></td><td>Warns when using error handling on Effects that never fail</td><td>✓</td><td>✓</td></tr>
     <tr><td><code>effectFnIife</code></td><td>⚠️</td><td>🔧</td><td>Effect.fn or Effect.fnUntraced is called as an IIFE; use Effect.gen instead</td><td>✓</td><td>✓</td></tr>

package/dist/effect-tsgo.js

@@ -204851,7 +204851,7 @@ var FileReadError = class extends TaggedError("FileReadError") {
 //#endregion
 //#region package.json
 var name = "@effect/tsgo";
-var version = "0.21.0";
+var version = "0.22.0";
 
 //#endregion
 //#region src/setup/consts.ts
@@ -205975,6 +205975,27 @@ var rules = [
 			}]
 		}
 	},
+	{
+		"name": "schemaOpaqueInstanceMember",
+		"group": "correctness",
+		"description": "Disallows instance members in classes extending Schema.Opaque",
+		"defaultSeverity": "error",
+		"fixable": false,
+		"supportedEffect": ["v4"],
+		"codes": [377102],
+		"preview": {
+			"sourceText": "import { Schema } from \"effect\"\n\nclass User extends Schema.Opaque<User>()(Schema.Struct({ name: Schema.String })) {\n  displayName = \"User\"\n  greet() {\n    return `Hello, ${this.displayName}`\n  }\n}\n",
+			"diagnostics": [{
+				"start": 118,
+				"end": 129,
+				"text": "Classes extending `Schema.Opaque` must not declare instance members. effect(schemaOpaqueInstanceMember)"
+			}, {
+				"start": 141,
+				"end": 146,
+				"text": "Classes extending `Schema.Opaque` must not declare instance members. effect(schemaOpaqueInstanceMember)"
+			}]
+		}
+	},
 	{
 		"name": "catchUnfailableEffect",
 		"group": "antipattern",
@@ -207859,7 +207880,7 @@ const gatherTargetState = (assessment, context) => gen(function* () {
 
 //#endregion
 //#region upstream.json
-var tsVersion = "7.1.0-dev.20260713.1";
+var tsVersion = "7.1.0-dev.20260714.1";
 
 //#endregion
 //#region src/setup/index.ts

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@effect/tsgo",
-  "version": "0.21.0",
+  "version": "0.22.0",
   "description": "Effect Language Service for TypeScript-Go — Effect-specific diagnostics and hover features.",
   "license": "MIT",
   "repository": {
@@ -23,13 +23,13 @@
     "schema.json"
   ],
   "optionalDependencies": {
-    "@effect/tsgo-win32-x64": "0.21.0",
-    "@effect/tsgo-win32-arm64": "0.21.0",
-    "@effect/tsgo-linux-x64": "0.21.0",
-    "@effect/tsgo-linux-arm64": "0.21.0",
-    "@effect/tsgo-linux-arm": "0.21.0",
-    "@effect/tsgo-darwin-x64": "0.21.0",
-    "@effect/tsgo-darwin-arm64": "0.21.0"
+    "@effect/tsgo-win32-x64": "0.22.0",
+    "@effect/tsgo-win32-arm64": "0.22.0",
+    "@effect/tsgo-linux-arm64": "0.22.0",
+    "@effect/tsgo-linux-arm": "0.22.0",
+    "@effect/tsgo-linux-x64": "0.22.0",
+    "@effect/tsgo-darwin-x64": "0.22.0",
+    "@effect/tsgo-darwin-arm64": "0.22.0"
   },
   "devDependencies": {
     "@effect/platform-node": "^4.0.0-beta.83",