Skip to main content

ConstraintSpan

rustc_infer::infer::canonical::ir::region_constraint

Trait ConstraintSpan 

Source 
pub trait ConstraintSpan:
    Clone
    + Debug
    + Eq
    + Hash { }
Expand description

The span stored in a RegionConstraint and friends.

Constraints are created with spans during type checking, but are also stored without any span, e.g. in query responses, in which case NoSpan is used. This trait exists so that code which is generic over the span only needs a single bound instead of repeating all of the supertrait bounds.

Dyn Compatibility§

This trait is not dyn compatible.

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

Implementations on Foreign Types§

Source§

impl ConstraintSpan for Span

Available on crate feature nightly only.

Implementors§