Each of these three declarations should type check, but doesn't: protocol P { } extension P { func f1() -> () -> (some P) { return { self } // error: cannot convert value of t...