blob: 70df05411740e0b93d609babe603d37266b28759 [file] [log] [blame]
// Copyright (c) 2020, 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.
// Verifies that references to deduplicated mixins are properly updated.
// Regression test for
class Diagnosticable {}
class SomeClass with Diagnosticable {}
class State<T> with Diagnosticable {}
class StateA extends State {}
class StateB extends State<int> {}
StateA? a = StateA();
StateB? b = StateB();
List<T> foo<T>(T x) {
return <T>[x];
T Function<S extends T>(T) bar<T>(T x) {
return <S extends T>(T y) {
return y;
main() {
var x2 = a ?? b;
var x3 = foo(x2);
var x4 = bar(x3);
// No compile time or runtime errors.