How can I pass a type to a generic function without adding const?

[vkensou]

Hi, I’m trying to pass a type into a generic function and preserve the type exactly as it is.

Here is a simplified example:

def gen_func(t: type<auto(T1)>) {
    print("type: {typeinfo fulltypename(type<T1>)}\n")
}

gen_func(type<int>)  // prints: type: int const
                     // expected: type: int

gen_func(type<int const>)   // prints: type: int const
                            // this matches my expectation

When I call gen_func(type<int>), T1 seems to become int const.
However, I would like it to remain int.

Is there a way to pass the type into the generic function exactly as provided, without automatically adding const?

[Y0L042]

Try this.

// Const param:
def foo(t : int) {}

//Non-const param
def foo(var t : int) {}

*add the var

[vkensou]

Try this.

// Const param:
def foo(t : int) {}

//Non-const param
def foo(var t : int) {}

*add the var

Thanks for the suggestion!
I tried adding var, and it fixes the first case:

def gen_func(var t: type<auto(T1)>) {
    print("type: {typeinfo fulltypename(type<T1>)}\n")
}

gen_func(type<int>) // prints: type: int
                    // this matches my expectation

gen_func(type<int const>)   // prints: type: int
                            // expected: type: int const

However, with var, both cases are now deduced as int. It seems to remove const from type<int const>.