Re: [swift-dev] SubstitutionMap questions

2016-12-30 Thread Slava Pestov via swift-dev
Hi Jacob, > On Dec 30, 2016, at 12:14 PM, Jacob Bandes-Storch wrote: > > Happy holidays :-) > > I started looking at this bug to see if I could figure out how to fix it: > https://bugs.swift.org/browse/SR-3500 > > As the bug author points out, there is

[swift-dev] CSGen/LinkedExprAnalyzer questions

2016-12-30 Thread Jacob Bandes-Storch via swift-dev
This is a pretty great bug: https://bugs.swift.org/browse/SR-3483 let x: Double? = 1 // error: ambiguous reference to member '+' let sum = x! + x! + x! // error: value of optional type 'Double?' not unwrapped; did you mean to use '!' or '?'? let sum: Double = x! + x! + x! I

[swift-dev] SubstitutionMap questions

2016-12-30 Thread Jacob Bandes-Storch via swift-dev
Happy holidays :-) I started looking at this bug to see if I could figure out how to fix it: https://bugs.swift.org/browse/SR-3500 As the bug author points out, there is a TODO in GenericSignature::getSubstitutionMap, saying it needs to handle same-type requirements: https://github.com/apple/swif