| 1 | module main |
| 2 | |
| 3 | interface TestInterface { |
| 4 | test_func() f64 |
| 5 | } |
| 6 | |
| 7 | struct Struct1 { |
| 8 | num f64 |
| 9 | } |
| 10 | |
| 11 | fn (o &Struct1) test_func() f64 { |
| 12 | return o.num |
| 13 | } |
| 14 | |
| 15 | struct Struct2 { |
| 16 | mut: |
| 17 | s1 ?&Struct1 |
| 18 | } |
| 19 | |
| 20 | fn do_thing[T](s1 Struct1) T { |
| 21 | mut t := T{} |
| 22 | t.s1 = &s1 |
| 23 | $for field in T.fields { |
| 24 | $if field.typ is TestInterface { |
| 25 | i := TestInterface(t.$(field.name)) |
| 26 | assert false |
| 27 | } $else $if field.typ is ?TestInterface { |
| 28 | i := TestInterface(t.$(field.name) ?) |
| 29 | assert true |
| 30 | } |
| 31 | } |
| 32 | return t |
| 33 | } |
| 34 | |
| 35 | fn test_main() { |
| 36 | assert do_thing[Struct2](Struct1{1.23}).s1?.num == 1.23 |
| 37 | } |
| 38 | |