| library /*isNonNullableByDefault*/; | |
| import self as self; | |
| import "dart:core" as core; | |
| static method main() → dynamic { | |
| function local(({a: dynamic}) → void f) → void { | |
| f(a: "Hello, World"){({a: dynamic}) → void}; | |
| f(){({a: dynamic}) → void}; | |
| } | |
| local(({dynamic a = #C1}) → void { | |
| core::print(a); | |
| }){(({a: dynamic}) → void) → void}; | |
| } | |
| constants { | |
| #C1 = "Default greeting!" | |
| } |