[kibwen]

Consensus is leaning towards moving it out into a library. The only undecided thing at this point appears to be the fate of the @ symbol, e.g. whether it should remain as sugar for user-provided pointer types (which includes types in the stdlib).

[moomin]

So @ would mean "something that implements the pointer trait"?