[Wasm GC] Fix TypeRefining on fallthrough values via tee (#4900)

A rather tricky corner case: we normally look at fallthrough values for copies of
fields, so when we try to refine a field, we ignore stuff like this:

a.x = b.x;

That copies the same field on the same type to itself, so refining is not limited by
it. But if we have something else in the middle, and that thing cannot change
type, then it is a problem, like this:

(struct.set
  (..ref..)
  (local.tee $temp
    (struct.get)))

tee has the type of the local, which does not change in this pass. So we can't
look at just the fallthrough here and skip the tee: after refining the field, the
tee's old type might not fit in the field's new type.

We could perhaps add casts to fix things up, but those may have too big a
cost. For now, just ignore the fallthrough.

0 files changed, 0 insertions, 0 deletions