is equiv/is tighter/is looser underdocumented

[zoffixznet]

is equiv/is tighter/is looser actually set all the other properties, not just precedence and is tighter/looser set associativity to left-associate (technically, they delete assoc key, but I think that's same as setting it to left). Also, if both is tighter and is looser are set, the speculation says the precedence would be somewhere in the middle, but that's not the currently implemented behaviour in Rakudo (unsure what the spec says)

Doesn't look like the docs mention this fact.

Also, if "all the other properties" includes something more than associativity (based on this, thunky is included as well, but that's likely just an internal thing), then a way to indicate how to JUST set precedence should be listed.

P.S.: worth mentioning there's RT#132713 and RT#132711 that may affect how Rakudo implementation currently behaves with these traits.

[ab5tract]

Bumping this as I just noticed that there is no mention of precedence setting in the "Creating Operators" tutorial: https://docs.raku.org/language/optut