Module variance

🔬This is a nightly-only experimental API. (phantom_variance_markers #135806)

Modules

sealed 🔒 Experimental

Macros

first_token 🔒 Experimental

phantom_lifetime 🔒 Experimental

phantom_type 🔒 Experimental

Structs

PhantomContravariantExperimental

Zero-sized type used to mark a type parameter as contravariant.

PhantomContravariantLifetimeExperimental

Zero-sized type used to mark a lifetime as contravariant.

PhantomCovariantExperimental

Zero-sized type used to mark a type parameter as covariant.

PhantomCovariantLifetimeExperimental

Zero-sized type used to mark a lifetime as covariant.

PhantomInvariantExperimental

Zero-sized type used to mark a type parameter as invariant.

PhantomInvariantLifetimeExperimental

Zero-sized type used to mark a lifetime as invariant.

Traits

VarianceExperimental

A marker trait for phantom variance types.

Functions

varianceExperimental

Construct a variance marker; equivalent to Default::default.