rustc_
type_
ir
1.89.0-nightly
(44f415c1d 2025-06-06)
Module solver_
relating
Module Items
Structs
Traits
In rustc_
type_
ir::
relate
rustc_type_ir
::
relate
Module
solver_relating
Copy item path
Source
Re-exports
§
pub use crate::
relate
::*;
Structs
§
Solver
Relating
Enforce that
a
is equal to or a subtype of
b
.
Traits
§
Relate
Ext