Skip to main content

Token

pui_core

Trait Token 

Source 
pub unsafe trait Token: Clone + Eq { }
Expand description

A type that an Identifier produces and is owned by an Identifier

If two tokens compare equal, then they should behave identically under Identifier::owns_token operation.

§Safety

  • it should be not possible to change the behavior of PartialEq::eq or Identifier::owns_token via a shared reference to a Token
  • clones/copies of a token should be equal to each other

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§