Get type should be able to return never so it can be used in a conditional type

[joseDaKing]

Get type should be able to return never so it can be used in a conditional type or a new generic type could be created.

type A<T> = Get<T, "items"> extends unkown ? "true" : "false"; //Will allways yield true

[sindresorhus]

@asbjornh Thoughts on this?

[asbjornh]

Yeah! The extends check in the above example is in the wrong order. The following is likely what OP is looking for:

type A<T> = unknown extends Get<T, "items"> ? true : false;

Explanation:
Conditional types can make a bit more intuitive sense if you read extends as "is a subtype of" or "is assignable to".
F. ex., the above example is asking the question "is Get<T, "items"> assignable to unknown?". Since all types in TS are assignable to unknown, the answer is yes, no matter what the result of Get<T, "items"> is.

If you flip it you get the question "is unknown assignable to Get<T, "items">?". Since unknown is only assignable to unknown and any (at least to my knowledge), the answer to this question is true if Get<T, "items"> evaluates to unknown or any, or false otherwise.

[asbjornh]

@joseDaKing Did the above resolve your issue? Can this be closed?

[joseDaKing]

It resolved the issue thanks

[asbjornh]

Great! 😄