checker, cgen: comptimecall type resolution on method args

[enghitalo]

Describe the bug

same of solved in #20070, but with methods

Reproduction Steps

struct Human {
	name string
}

enum Animal {
	dog
	cat
}

type Entity = Animal | Human

struct Encoder {}

@[sumtype_to: Animal]
fn (ent Entity) json_cast_to_animal() Animal {
	return ent as Animal
}

@[sumtype_to: Human]
fn (ent Entity) json_cast_to_human() Human {
	return ent as Human
}

fn (e &Encoder) encode[T](val T) {
	$if T is $sumtype {
		$for method in T.methods {
			if method.attrs.len >= 1 {
				if method.attrs[0].contains('sumtype_to') {
					if val.type_name() == method.attrs[0].all_after('sumtype_to:').trim_space() {
						println(val.$method())
						e.encode(val.$method()) // Problem here !!!!!!!!!!!!!!!!!!!!!!!!!!!!!1!!!!11!
					}
				}
			}
		}
	} $else {
		// error('cannot encode value with ${typeof(val).name} type')
	}
}


e := Encoder{}

e.encode(Entity(Human{'Monke'}))
e.encode(Entity(Animal.cat))

Expected Behavior

Human{
    name: 'Monke'
}
cat

Current Behavior

20065.v:36:16: error: cannot use `string` as `Human` in argument 1 to `Encoder.encode`
   34 |                     if val.type_name() == method.attrs[0].all_after('sumtype_to:').trim_space() {
   35 |                         println(val.$method())
   36 |                         e.encode(val.$method()) // Problem here !!!!!!!!!!!!!!!!!!!!!!!!!!!!!1!!!!11!
      |                                  ~~~~~~~~~~~~~
   37 |                     }
   38 |                 }
20065.v:36:16: error: cannot use `string` as `Animal` in argument 1 to `Encoder.encode`
   34 |                     if val.type_name() == method.attrs[0].all_after('sumtype_to:').trim_space() {
   35 |                         println(val.$method())
   36 |                         e.encode(val.$method()) // Problem here !!!!!!!!!!!!!!!!!!!!!!!!!!!!!1!!!!11!
      |                                  ~~~~~~~~~~~~~
   37 |                     }
   38 |                 }

Possible Solution

No response

Additional Information/Context

No response

V version

V 0.4.3 cce21a4

Environment details (OS name and version, etc.)

Ubuntu

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.