<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Hi to everyone! I'm integrating <font face="Menlo" color="#001e57" class="">__auto_type</font> to project, and I faced with some weird issue. <div class=""><br class=""></div><div class=""><font face="Menlo" color="#001e57" class="">__auto_type</font> doesn't inherit nullability nor ownership qualifiers, so if I write</div><div class=""><br class=""></div><div class=""><font face="Menlo" color="#001e57" class="">__weak Type* _Nonnull a = f();</font></div><div class=""><font face="Menlo" color="#001e57" class="">__auto_type b = a;</font></div><div class=""><br class=""></div><div class=""><font color="#001e57" face="Menlo" class="">b</font> will be just <font color="#001e57" face="Menlo" class="">Type*</font>, with strong ownership and <font face="Menlo" color="#001e57" class="">__nullability_unspecified</font> specifier.</div><div class=""><br class=""></div><div class="">Although, if I'm writing</div><div class=""><br class=""></div><div class=""><div class=""><font face="Menlo" color="#001e57" class="">__weak Type* _Nonnull a = f();</font></div><div class=""><font face="Menlo" color="#001e57" class="">__typeof(a) b = a;</font></div></div><div class=""><br class=""></div><div class="">Everything inherits as expected. So type of b is <font color="#001e57" face="Menlo" class="">__weak Type* _Nonnull</font>.</div><div class="">I know, <font color="#001e57" face="Menlo" class="">__weak</font> and <font color="#001e57" face="Menlo" class="">_Nullable</font> doesn't make any sense for one variable declaration, but I think you get the point.</div><div class=""><br class=""></div><div class="">Is it ok? Why such decision has been made?</div><div class="">Thanks for any clarification.</div></body></html>