The TypeScript team hasn't accepted the linked issue#14829. If you can get it accepted, this PR will have a better chance of being reviewed.

@Andarist did you learn anything interesting from the implementation? If so, can you add a report to the end of#14829? Unless@DanielRosenwasser@RyanCavanaugh or@ahejlsberg are interested in taking up this feature in a design meeting, it's likely that this PR will sit until it gets stale.

@jakebailey would you mind creating a playground for this? :)

@typescript-bot pack this

Heya@jakebailey, I've started to run the tarball bundle task on this PR at86448ff. You can monitor the buildhere.

Hey@jakebailey, I've packed this intoan installable tgz. You can install it for testing by referencing it in yourpackage.json like so:

{    "devDependencies": {        "typescript": "https://typescript.visualstudio.com/cf7ac146-d525-443c-b23c-0d58337efebc/_apis/build/builds/149238/artifacts?artifactName=tgz&fileId=E040D91AAAB70FE622A8C39FD6DF27B76C392A7C8C3B48C212D760AAF66AFD4702&fileName=/typescript-5.1.0-insiders.20230313.tgz"    }}

and then runningnpm install.

There is also a playgroundfor this build and annpm module you can use via"typescript": "npm:@typescript-deploys/pr-build@5.1.0-pr-52968-5".;

Hi, I am reading#14829 and trying to addNoInfer<T> to fix thestub() function intype-plus.

An I notice the typetype NoInfer<T> = T & { [K in keyof T]: T[K] } there works with theAnimal|Dog example but does not work with:

typeNoInfer<T>=T&{[KinkeyofT]:T[K]}typeRecursivePartial<T>={[PinkeyofT]?:T[P]extends(inferU)[]?RecursivePartial<U>[]:T[P]extendsRecord<any,any>?RecursivePartial<T[P]>:T[P]}functionfoo(v:{a:number,b:string}){}functionstub<T>(v:RecursivePartial<NoInfer<T>>):T{returnvasT}foo(stub({a:1})// error// Argument of type '{ a: number; }' is not assignable to parameter of type '{ a: number; b: string; }'.// Property 'b' is missing in type '{ a: number; }' but required in type '{ a: number; b: string; }'.

It works with the following type:type NoInfer<T> = Or<IsNull<T>, IsUndefined<T>, T, T & {}>
(whereOr<A,B,Then,Else>,IsNull<T>,IsUndefined<T> does what their name suggest).

Just want to bring it up so that this test case is covered in your implementation.
🌷

@RyanCavanaugh Since 5.2 development has started recently - perhaps we could get some current thoughts from the team about this feature? 😉

@typescript-bot pack this

Looks like you're introducing a change to the public API surface area. If this includes breaking changes, please document themon our wiki's API Breaking Changes page.

Also, please make sure@DanielRosenwasser and@RyanCavanaugh are aware of the changes, just as a heads up.

Heya@andrewbranch, I've started to run the tarball bundle task on this PR at989fa50. You can monitor the buildhere.

Hey@andrewbranch, I've packed this intoan installable tgz. You can install it for testing by referencing it in yourpackage.json like so:

{    "devDependencies": {        "typescript": "https://typescript.visualstudio.com/cf7ac146-d525-443c-b23c-0d58337efebc/_apis/build/builds/158991/artifacts?artifactName=tgz&fileId=95BBFD2778E2B6F0853A6F2EF1EAB1A4AF470C0AB105BAD2C44C6707C2F2A1D302&fileName=/typescript-5.4.0-insiders.20231207.tgz"    }}

and then runningnpm install.

There is also a playgroundfor this build and annpm module you can use via"typescript": "npm:@typescript-deploys/pr-build@5.4.0-pr-52968-11".;

superseded by#56794