Merge Preparation: Merge Precise Object Tagging to Graph Copy EOP

[luc-blaeser]

Preparing merging #4544 in #4475 (level 3 of PR stack)

[github-actions]

Comparing from ae35f93 to bb46a86:
The produced WebAssembly code seems to be completely unchanged.

[crusso]

Suggested change

	debug_assert!(
	tag == TAG_ARRAY_I || tag == TAG_ARRAY_M || tag == TAG_ARRAY_T || tag == TAG_ARRAY_S
	);
	debug_assert!(is_base_array_tag(tag));

(Might need to import it)

[luc-blaeser]

Thanks, I addressed it in the lower PRs and merge the refactoring upwards.

[crusso]

LGTM. There might be a bit of unnecessary overhead passing those mostly redundant object_kinds around but perhaps we shouldn't sweat the small stuff.

[luc-blaeser]

LGTM. There might be a bit of unnecessary overhead passing those mostly redundant object_kinds around but perhaps we shouldn't sweat the small stuff.

Thank you very much for the review. Indeed, some object_kinds are redundant for specific cases in deserialize, but not for all cases. I guess this is the price of having a generic "mini-framework" for serialization/deserialization with a common trait for all the specific stable types.

[crusso]

(Still LGTM)