Function params are not validated

[awareness481]

type A<T extends string> = T;
function fn(a: Uppercase<number>, b: A<number>) {}
// no errors reported

https://tsplay.dev/NnlPaW

It should report an error for each param. Not sure if params are not validated in all cases or some cases