Missed argument inference opportunity

[expipiplus1]

struct S<let N : int>{}

func foo<let N : int = I, let I : int>(s : S<I>) -> int;

let s : S<10> = {};

let i = foo(s);

We should be able to infer N here as equal to I which is equal to 10.

[expipiplus1]

Address during https://github.com/shader-slang/slang/issues/5240