<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=""><br class=""><div><blockquote type="cite" class=""><div class="">On Dec 15, 2015, at 13:19 , Drew Crawford <<a href="mailto:drew@sealedabstract.com" class="">drew@sealedabstract.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><meta http-equiv="Content-Type" content="text/html charset=us-ascii" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div class=""><blockquote type="cite" class=""><div class="">On Dec 15, 2015, at 12:24 PM, Jordan Rose via swift-evolution <<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><span style="font-family: HelveticaNeue; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; float: none; display: inline !important;" class="">(Alternately, "SomeType.staticType' not being the same as 'SomeType.dynamicType" seems weird.)</span></div></blockquote></div><br class=""><div class="">Why?</div><div class=""><br class=""></div><div class="">It is not strange to me at all that two different vars return two different things. The names here seem especially clear--staticType being the type as inferred statically, while dynamicType being the runtime type.</div><div class=""><br class=""></div><div class="">+1 for staticType</div></div></div></blockquote><br class=""></div><div>Sorry, what I meant is not that they have different <i class="">values,</i> but that they have different levels of meta:</div><div><br class=""></div><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;" class=""><div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo; color: rgb(76, 47, 45); background-color: rgb(223, 219, 196);" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #aa9d8e" class=""> 1> </span>Int.self</div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo; color: rgb(1, 163, 175); background-color: rgb(223, 219, 196);" class="">$R0: Int.Type = Int</div><div class=""><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo; color: rgb(76, 47, 45); background-color: rgb(223, 219, 196);" class=""><span style="font-variant-ligatures: no-common-ligatures; color: #aa9d8e" class=""> 2> </span>Int.self.dynamicType</div><div style="margin: 0px; font-size: 11px; line-height: normal; font-family: Menlo; color: rgb(1, 163, 175); background-color: rgb(223, 219, 196);" class="">$R1: Int.Type.Type = Int.Type</div></div></div></blockquote><br class="">Jordan<br class=""><br class=""></body></html>