How do i specify keyof

type IncludeOfType<Object, Type> = {
  [K in keyof Object as Object[K] extends Type ? K : never]: Object[K];
};

type T1 = IncludeOfType<{
    Name: string,
    Width: number,
}, number>

type IncludeOfType<Object, Type> = {
  [K in keyof Object as Object[K] extends Type ? K : never]: Object[K];
};

type T1 = IncludeOfType<{
    Name: string,
    Width: number,
}, number>

T extends number ? "T is a number" : "T is not a number";

T extends number ? "T is a number" : "T is not a number";