V checker should not allow passing pointers for the values of option struct fields

[spytheman]

Describe the bug

Only none, or a valid value from the respective type should be allowed for struct fields, typed as ?Type.

Currently, instead V also allows passing pointers to such values.

Reproduction Steps

struct Abc {
	name ?string
	age ?int
}

fn main(){
	age := 34
	name := 'Bilbo'
	a := Abc {age: &age}
	b := Abc {name: &name}
	dump(a)
	dump(b)
}

Expected Behavior

A checker error, telling me that age: &age is not allowed, and perhaps suggesting, that I pass age: age instead. Same, but for name: &name too.

Current Behavior

[s.v:11] a: Abc{
    name: Option(none)
    age: Option(-395964448)
}
[s.v:12] b: Abc{
    name: Option('')
    age: Option(none)
}

Possible Solution

No response

Additional Information/Context

No response

V version

latest v

Environment details (OS name and version, etc.)

Ubuntu 20.04

Important

You can vote for this issue using the 👍 reaction. More votes increase the issue's priority
for developers.

Take into account that only the 👍 reaction counts as a vote.
Only reactions to the issue itself will be counted as votes, not comments.