| // Copyright (c) 2021, 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. | |
| class A { | |
| num foo(num n) { | |
| print(n.runtimeType); | |
| return 1.1; | |
| } | |
| } | |
| mixin B<X> { | |
| X foo(X x); | |
| } | |
| class C extends A with B<num> {} | |
| void main() { | |
| B<Object> b = C(); | |
| try { | |
| b.foo(true); | |
| } catch (e) { | |
| print(e); | |
| return; | |
| } | |
| throw 'Missing type error'; | |
| } |