type r = { field: fn@() }; fn main() { let i: r = {field: fn#() { }}; }