display all non-shared returns as Any

[crusso]

Builds on #5796 (simplifying the stable to shared type approximation of #5913)

@christoph-dfinity here's the version that always approximates to Any.

I think this might actually be more alarming and a lot less informative than just dropping a few fields and promoting to Any in offending positions but at least it's simple.

It does give an indication that each stable variable contains something, at least.

(Marked do not merge because I want to switch the base to #5796)

[github-actions]

Comparing from 678e537 to 10fedae:
The produced WebAssembly code seems to be completely unchanged.
In terms of gas, no changes are observed in 5 tests.
In terms of size, no changes are observed in 5 tests.

[christoph-dfinity]

I think this might actually be more alarming and a lot less informative than just dropping a few fields and promoting to Any in offending positions but at least it's simple.

I think this at least gives the viewer frontend an easy to detect indication to display a message of "There's data here, but it can't be displayed/serialized"

It does give an indication that each stable variable contains something, at least.

Yeah, and we can improve the fidelity when requested. Maybe by then the easiest way would be to teach the AI to write custom view functions and chuck them into a mixin somewhere.

[Kamirus]

Wouldn't be helpful to see a real-world example using mo:core and some nested map and how the output would look like?

[crusso]

Wouldn't be helpful to see a real-world example using mo:core and some nested map and how the output would look like?

For this PR - you would just Any for the entire value.
In the other PR, you would see more, but possibly empty records.
Orignally, I wanted to approximate mutable field var f : T as f : Any, but our subtyping doesn't allow this so the field must be dropped - which I think it was @Christoph objects to. I mean I could approximate record {} as Any in that case...

[crusso]

Wouldn't be helpful to see a real-world example using mo:core and some nested map and how the output would look like?

I added test data-view-nested (see the diff)