$if T is $address

[enghitalo]

Describe the feature

Verify if generic is pointer

Use Case

insert or write value from pointer

a := 5
b := &a

mut expected := false

$if b is $pointer {
    expected = true
} $else {
    expected = false
}

assert expected

mut a := 5
mut b := &a
mut c := &b

fn insert_value_in_pointer[T](mut pointer T) {
	$if b is $pointer {
		insert_value_in_pointer(*pointer)
	} $else {
		pointer = 10
	}
}

insert_value_in_pointer(c)

assert a == 10

Proposed Solution

No response

Other Information

No response

Acknowledgements

• I may be able to implement this feature request
• This feature might incur a breaking change

Version used

latest

Environment details (OS name and version, etc.)

all

Note

You can use the 👍 reaction to increase the issue's priority for developers.

Please note that only the 👍 reaction to the issue itself counts as a vote.
Other reactions and those to comments will not be taken into account.

_{Huly®: V_0.6-21238}