David Blass

> I guess that would be, any type S such that T & S extends never is false I think this concept of "overlaps with" or its opposite "is disjoint...

@fatcerberus I definitely agree `overlaps` would be very useful in a number of circumstances like includes, as well as internally for a lot of these comparison errors that incorrectly assert...

@fatcerberus Maybe it would be an opportunity to revisit that logic if it were to be published as its own utility 😅

@DanielRosenwasser Yes, that is exactly the behavior I'd expect in a structural type system, with a result of `Set`. The type could still give completions based on the base type...

@fatcerberus It's possible to validate as a function parameter with an approach like the one I mentioned [in my original comment](https://github.com/microsoft/TypeScript/pull/57230#issuecomment-1916890725) which could be leveraged here, but I assume that...

I think this makes a lot of sense! ArkType goes pretty far down the "let's create a runtime type system and handle discrimination robustly" rabbit hole, but I think using...

Would this allow `ts-node` to be used directly again in Node 20, or would it still require it to be run through `node --loader`? Eagerly awaiting the fix on this...

This would be a big deal for me in terms of adoption. I tried bun out after updating some node dependencies and running into another ESM/CJS issue but would hate...

@Tom-Hudson I ran into the same issue thinking it was some sort of internal config that I'd have to email about, but missed the fact that the "Subdirectory" option actually...

@Tom-Hudson I'm on a tight deadline and was considering whether it was worth posting, but it really brightened my day to learn it was helpful, so thanks 🥰 Tagging @lucacasonato...