<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div><br></div><div><br>On 6 Apr 2017, at 04:21, Ricardo Parada via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>&gt; wrote:<br><br></div><blockquote type="cite"><div><meta http-equiv="Content-Type" content="text/html charset=utf-8"><br class=""><div><blockquote type="cite" class=""><div class="">On Apr 5, 2017, at 9:41 PM, Brent Royal-Gordon via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>&gt; wrote:</div><br class="Apple-interchange-newline"><div class=""><span style="font-family: Helvetica; font-size: 14px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;" class="">It's worth noting that, if you write `\Person.name.valueType`, this syntax is ambiguous—it could mean "make a key path for the `valueType` property on `name` property of `Person`", or it could mean "make a key path for the `name` property of `Person`, then access the key path's `valueType` property". We can solve this by always interpreting it as the former and requiring parentheses for the latter—that is, `(\Person.name).valueType`—but I thought it was worth calling out explicitly.</span><br class="Apple-interchange-newline"></div></blockquote></div><br class=""><div class="">Good point.&nbsp;</div><div class=""><br class=""></div><div class="">&nbsp;I'm thinking about the hypothetical code examples from previous emails:</div><div class=""><br class=""></div><div class=""><blockquote type="cite" class=""><div class=""></div></blockquote></div><div class=""><div class=""><font face="Monaco" style="font-size: 12px;" class="">&nbsp; &nbsp;let isPuppyQualifier = <font color="#af00f4" class="">\Pet.type</font> == .dog &amp;&amp; <font color="#af00f4" class="">\Pet.age</font> &lt; 12</font></div><div class=""><font face="Monaco" style="font-size: 12px;" class="">&nbsp; &nbsp;let familyQualifier =&nbsp;</font><span style="font-family: Monaco; font-size: 12px;" class="">(</span><font face="Monaco" style="font-size: 12px;" class=""><font color="#af00f4" class="">\Family.pets</font></font><span style="font-family: Monaco; font-size: 12px;" class="">)</span><font face="Monaco" style="font-size: 12px;" class="">.contains(where: isPuppyQualifier)</font></div><div class=""><font face="Monaco" style="font-size: 12px;" class="">&nbsp; &nbsp;let familiesWithPuppies = Family.fetch(editingContext, familyQualifier)</font></div></div></div></blockquote><div><br></div><div>Couldn't the compiler see there exists no contains property on pets and allow us to avoid the parentheses?</div><br><blockquote type="cite"><div><span>_______________________________________________</span><br><span>swift-evolution mailing list</span><br><span><a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a></span><br><span><a href="https://lists.swift.org/mailman/listinfo/swift-evolution">https://lists.swift.org/mailman/listinfo/swift-evolution</a></span><br></div></blockquote></body></html>