Why is it possible to convert a non-constant value x to type T when x is NOT assignable to T?

Question

According to Go spec a non-constant value x can be converted to type T if x is assignable to T (first rule out of 7).

Given the following 2 codes:

1. succes