1st point: docs say that if I assign `T!` to a val...

# language-proposals

[voddan]

1st point: docs say that if I assign T! to a val x, the value gets the platform type x is T!. But the assignment in the example somehow influenced the type inference