Regarding type inference: if a generic type `T: So...

# language-proposals

[kirillrakhman]

Regarding type inference: if a generic type T: Something has an upper bound, wouldn't it make sense to infer Something if no explicit generic type is given?