<pre class="shiki github-dark shaku"><code>type Filter&lt;T extends any[], A extends any&gt; = T extends [infer U, ...infer R] ? [U] extends [A] ? [U,...Filter&lt;R,A&gt;] : [...Filter&lt;R,A&gt;] : []</code></pre>

This is my accepted solution

Implement Filter<T, A> to return a new tuple type by filtering all the types from T that are assignable to A. type A = Filter<[1,'BFE', 2, true, 'dev'…