tests/language_2/vm/regress_33040_instantiation_test.dart

// Copyright (c) 2018, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
//
// Exact regression test for issue #33040.

import 'dart:async';

class Optional<T> {}

typedef T ConvertFunction<T>();

T blockingLatest<T>() {
  return null;
}

abstract class ObservableModel<T> {}

abstract class AsyncValueMixin<T> {
  Future<T> get asyncValue {
    ConvertFunction<T> f = blockingLatest;
    (f as ConvertFunction<T>);
    return null;
  }
}

abstract class OptionalSettableObservableModel<T>
    extends ObservableModel<Optional<T>> with AsyncValueMixin<Optional<T>> {}

class FooObservableModel extends OptionalSettableObservableModel<int> {}

void main() async {
  var model = new FooObservableModel();
  final value = await model.asyncValue;
}