Function parameter type as a call expression

[supernova-III]

Hello, there's an interesting issue I'm trying to solve: #2681
After some investigation, I concluded that this issue is caused by the checker code. In other situations, the same checker code prevents such kind of errors:

// listing 1
bar :: proc(x: $T, y: $T) {}

But in case of this issue #2681, the second parameter of the bar proc is a result of type that has to be inferenced from the call expression with another generic function:

// listing 2
foo :: proc(x: $T) -> T { return x;}
bar :: proc(x: $T, y: type_of(foo(1.0))) {}

And it looks like the listing 1 is equivalent to the listing 2. Am I right?