feat: Ref/Value behavior tracking

[iwoplaza]

Changes:

• Track referentiality of snippets (and their address space)
• Generate pointer types for shell-less arguments if the passed-in values are referential
• Forbid assignment of references
• Not allowing references to be returned from a function (unless it’s a reference to something define in that function)
• Make JS const statements be pointers if they take in a referential type (let statements)
• Treat JS const statements with naturally non-referential types to be WGSL const 🎉
• Track constant expressions

TODO:

• Rename 'ref' to 'origin' to not confuse with the upcoming explicit pointers (refs)
• Make implicit pointers (e.g.: const some = layout.$.data) local to functions, and not leak into shell-less functions signatures. This ensures that a function doesn't accidentally have access to a value it shouldn't have access to.
• Check if Disco got fixed
• Automatically deref implicit pointers in dualImpl

Reference assignment errors:

Invalid 'let' statement errors:

[github-actions]

pkg.pr.new

packages
Ready to be installed by your favorite package manager ⬇️

https://pkg.pr.new/software-mansion/TypeGPU/typegpu@6003bc30dc04b6642a1ff3cf76678dabd2b60183

https://pkg.pr.new/software-mansion/TypeGPU/@typegpu/noise@6003bc30dc04b6642a1ff3cf76678dabd2b60183

https://pkg.pr.new/software-mansion/TypeGPU/unplugin-typegpu@6003bc30dc04b6642a1ff3cf76678dabd2b60183

benchmark
view benchmark

commit
view commit

[aleksanderkatan]

Something weird happened to the vaporrave example, some of the effects seem to have disappeared.

Also, Slime Mold 3D throws when switching to another example, but this might have been the case before.