[BUG] How to use std::function in pure cpp2 ?

[jituderaps]

not able to use std::function in pure cpp2.
problem link: https://cpp2.godbolt.org/z/e6acYboTY

#include <functional>

fun: (x: int) -> int = 2 * x;

main: () -> i32 = {
    p_fun1: std::function<:(x: int) -> int> =  fun&;    // doesn't work
    // p_fun2: std::function<int(int)> = fun&;              // works fine

    std::cout << p_fun1(3);
}

command line : -DCMAKE_CXX_FLAGS="-std=c++23 -pedantic-errors -Wall -Wextra -Wconversion -Werror=unused-result" -GNinja -Wno-dev

Expected result : 6
Actual result :

example.cpp2(6,26): error: missing ';' at end of declaration or '=' at start of initializer (at '<')
example.cpp2(5,19): error: ill-formed initializer (at '{')
example.cpp2(5,1): error: unexpected text at end of Cpp2 code section (at 'main')
example.cpp2(2,0): error: parse failed for section starting here

[JohelEGP]

This is #343.

[hsutter]

Thanks! Your original code is now working with PR #1183, except you have to remove the : because : always means declaring a new thing and here you're only using the type so no : is needed:

fun: (x: int) -> int = 2 * x;

main: () -> i32 = {
    p_fun1: std::function<(x: int) -> int> =  fun&;  // works with PR #1183
    std::cout << p_fun1(3);  // prints 6
}