ITADN

Better ownership lint to kill ownership chaos for AI generated code

#63540Openloynoir 创建于 2026-06-06
L
loynoircommented
### 🔍 Search Terms - proposal-explicit-resource-management - ownership - lifetime ### ✅ Viability Checklist - [x] This wouldn't be a breaking change in existing TypeScript/JavaScript code - [x] This wouldn't change the runtime behavior of existing JavaScript code - [x] This could be implemented without emitting different JS based on the types of the expressions - [x] This isn't a runtime feature (e.g. library functionality, non-ECMAScript syntax with JavaScript output, new syntax sugar for JS, etc.) - [x] This isn't a request to add a new utility type: https://github.com/microsoft/TypeScript/wiki/No-New-Utility-Types - [x] This feature would agree with the rest of our Design Goals: https://github.com/Microsoft/TypeScript/wiki/TypeScript-Design-Goals ### ⭐ Suggestion Better ownership lint to kill ownership chaos. Maybe rust lifetime? ### 📃 Motivating Example See https://github.com/denoland/deno/issues/34953 Typescript should lint below code will crash due to ownership ```js Deno.serve({}, async (_req) => { using file = await Deno.open(new URL(import.meta.url).pathname); return new Response(file.readable); }); ``` https://github.com/denoland/deno/issues/34953#issuecomment-4636526241 Some think > `file.readable` carries ownership of the file https://github.com/denoland/deno/issues/34953#issuecomment-4636588109 Some think `file.readable` does not carries ownership of the file ```js > file.readable[Symbol.dispose] undefined ``` ### 💻 Use Cases 1. What do you want to use this for? Better ownership type 2. What shortcomings exist with current approaches? TBD 3. What workarounds are you using in the meantime? No way. ## related https://github.com/denoland/deno/issues/34931 Simple code leads to server crash due to ownership Genered by AI. Simplified for reproduce. ```ts Deno.serve({}, async (_req) => { using file = await Deno.open(new URL(import.meta.url).pathname); return new Response(file.readable); }); ``` --- https://github.com/denoland/deno/issues/34953 How to easy stream file within deno server? --- https://github.com/tc39/proposal-explicit-resource-management/issues/274 How does proposal-explicit-resource-management suggest how to easy extend stream file lifetime within server? --- https://github.com/microsoft/TypeScript/issues/63540 Better ownership lint to kill ownership chaos
1 条评论