# IntersectNonAnyTypes **Kind:** Type **Source:** [`src/types.ts`](https://github.com/honojs/hono/blob/main/src/types.ts#L2763) ## Definition ```ts T extends [infer Head, ...infer Rest] ? ProcessHead & IntersectNonAnyTypes : {} ```