rustc_type_ir::relate

Module solver_relating

Source

Re-exports§

pub use crate::relate::*;

Structs§

SolverRelating
Enforce that a is equal to or a subtype of b.

Traits§

RelateExt