Commit 6affad79111c45982fd29637a46bc756abb128a3

Tom Tromey 2015-12-17T16:58:10

correctly document closure return promotion