Conditional coercion sites, and materials on the subject of type inference algorithm.

[crlf0710]

Hello! We know that in the expression y = x, coercion may or may not happen, depending on whether y has explicit type annotation. So it seems this may be some form of "conditional coercion site" or something?

This seems to be highly related to the type inference algorithm, whose description is also seriously lacking.

Thanks!