At least according to the manual tags are just user defined effects, so it's the effect system as far as my dumb brain can tell. Pointless pedantry aside, why can these operations not be tagged with `Unsafe` or something similar? They are not presently, but I do not see why the compiler cannot emit that they're unsafe automatically.
- Effect system: filtering tags sls1005
- Effect system: filtering tags Araq
- Effect system: filtering tags ElegantBeef
- Effect system: filtering tags Clonk
- Effect system: filtering tags cblake
- Effect system: filtering tags Araq
- Effect system: filtering tags cblake
- Effect system: filtering tags Clonk
- Effect system: filtering tags Araq
- Effect system: filtering tags Vindaar
- Effect system: filtering tags ElegantBeef
- Effect system: filtering tags Clonk
- Effect system: filtering tags ElegantBeef
- Effect system: filtering tags Clonk
- Effect system: filtering tags lancer
- Effect system: filtering tags r3c
