| Index: lib/pool.dart
|
| diff --git a/lib/pool.dart b/lib/pool.dart
|
| index deb53334b8036eb9bf115fac2a666ae566f2655f..faa9f0e12137669e0c9b42c6c4d06f2cf52fa8c6 100644
|
| --- a/lib/pool.dart
|
| +++ b/lib/pool.dart
|
| @@ -116,8 +116,8 @@ class Pool {
|
| // synchronously in case the pool is closed immediately afterwards. Async
|
| // functions have an asynchronous gap between calling and running the body,
|
| // and [close] could be called during that gap. See #3.
|
| - return request().then((resource) {
|
| - return new Future.sync(callback).whenComplete(resource.release);
|
| + return request().then/*<Future<T>>*/((resource) {
|
| + return new Future/*<T>*/.sync(callback).whenComplete(resource.release);
|
| });
|
| }
|
|
|
|
|