checker: wrong assert pass. missing checker error

[enghitalo]

Describe the bug

t should already be de-referenced, right?

Reproduction Steps

fn test_main() {
	la := 'lalala'
	a(&la)
}

fn a[T](t &T) {
	println(t)
	dump(t)
	assert *t == 'lalala'
}

Expected Behavior

checker error in assert *t == 'lalala'

Current Behavior

assert pass

Possible Solution

No response

Additional Information/Context

No response

V version

V 0.4.8 31d6c47

Environment details (OS name and version, etc.)

Linux

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-21239}

[enghitalo]

Would works, I guess

fn test_main() {
	la := 'lalala'
	la2 := &la
	la3 := &la2
	a(la3)
}

fn a[T](t &T) {
	println(t)
	dump(t)
	assert *t == 'lalala'
}

[spytheman]

The example programs behave as expected.

What does not is this:

fn test_main() {
    la := 'lalala'
    la2 := &la
    la3 := &la2
    a(la3)
}

fn a[T](t &&T) {
    println(t)
    dump(t)
    assert **t == 'lalala'
}

which currently produces a cgen error.

Note the fn a[T](t &&T) { line .