the given expression--- (Initial State of the AST) (Initial State of the Constraints) (Inference Process) ---Solution--- (Solution) ---Type-checked expression--- (Typed AST)
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0> Type variables: $T0 as () -> Int @ locator@0x11b81ac00 [OverloadedDeclRef@code.swift:5:18] $T1 as Int @ locator@0x11b81adb0 [Call@code.swift:5:18 → function result] $T2 as Int @ locator@0x11b81aef0 [Call@code.swift:5:18 → contextual type → pattern match → pattern match → named pattern decl] Overload choices: locator@0x11b81ac00 [OverloadedDeclRef@code.swift:5:18] with code. (file).foo()@code.swift:1:6 as foo: () -> Int Trailing closure matching: locator@0x11b81afe8 [Call@code.swift:5:18 → apply argument]: forward
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0> Type variables: $T0 as () -> Int @ locator@0x11b81ac00 [OverloadedDeclRef@code.swift:5:18] $T1 as Int @ locator@0x11b81adb0 [Call@code.swift:5:18 → function result] $T2 as Int @ locator@0x11b81aef0 [Call@code.swift:5:18 → contextual type → pattern match → pattern match → named pattern decl] Overload choices: locator@0x11b81ac00 [OverloadedDeclRef@code.swift:5:18] with code. (file).foo()@code.swift:1:6 as foo: () -> Int Trailing closure matching: locator@0x11b81afe8 [Call@code.swift:5:18 → apply argument]: forward
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0> Type variables: $T0 as () -> Int @ locator@0x11b81ac00 [OverloadedDeclRef@code.swift:5:18] $T1 as Int @ locator@0x11b81adb0 [Call@code.swift:5:18 → function result] $T2 as Int @ locator@0x11b81aef0 [Call@code.swift:5:18 → contextual type → pattern match → pattern match → named pattern decl] Overload choices: locator@0x11b81ac00 [OverloadedDeclRef@code.swift:5:18] with code. (file).foo()@code.swift:1:6 as foo: () -> Int Trailing closure matching: locator@0x11b81afe8 [Call@code.swift:5:18 → apply argument]: forward