| Index: sdk/lib/convert/json.dart
|
| diff --git a/sdk/lib/convert/json.dart b/sdk/lib/convert/json.dart
|
| index 36c638195c1cff0fa29c555cd851f900437ca9ab..035a89e46eadc760edb811d0071046131d2ab09d 100644
|
| --- a/sdk/lib/convert/json.dart
|
| +++ b/sdk/lib/convert/json.dart
|
| @@ -118,6 +118,9 @@ class JsonEncoder extends Converter<Object, String> {
|
| }
|
| return new _JsonEncoderSink(sink);
|
| }
|
| +
|
| + // Override the base-classes bind, to provide a better type.
|
| + Stream<String> bind(Stream<Object> stream) => super.bind(stream);
|
| }
|
|
|
| /**
|
| @@ -190,6 +193,9 @@ class JsonDecoder extends Converter<String, Object> {
|
| ChunkedConversionSink<Object> sink) {
|
| return new _JsonDecoderSink(_reviver, sink);
|
| }
|
| +
|
| + // Override the base-classes bind, to provide a better type.
|
| + Stream<Object> bind(Stream<String> stream) => super.bind(stream);
|
| }
|
|
|
| /**
|
|
|