| 1 | vlib/v/checker/tests/generics_interface_decl_no_mention_err.vv:4:2: error: generic type name `T` is not mentioned in interface `Foo<U>` |
| 2 | 2 | |
| 3 | 3 | interface Foo[U] { |
| 4 | 4 | Bar[T] |
| 5 | | ~~~ |
| 6 | 5 | foo(u U, p P) |
| 7 | 6 | bar(u U) []P |
| 8 | vlib/v/checker/tests/generics_interface_decl_no_mention_err.vv:5:13: error: generic type name `P` is not mentioned in interface `Foo<U>` |
| 9 | 3 | interface Foo[U] { |
| 10 | 4 | Bar[T] |
| 11 | 5 | foo(u U, p P) |
| 12 | | ^ |
| 13 | 6 | bar(u U) []P |
| 14 | 7 | } |
| 15 | vlib/v/checker/tests/generics_interface_decl_no_mention_err.vv:6:11: error: generic type name `P` is not mentioned in interface `Foo<U>` |
| 16 | 4 | Bar[T] |
| 17 | 5 | foo(u U, p P) |
| 18 | 6 | bar(u U) []P |
| 19 | | ~~~ |
| 20 | 7 | } |
| 21 | 8 | |
| 22 |