Module rustc_mir::borrow_check::type_check::relate_tys

Structs

NllTypeRelatingDelegate

Functions

relate_types

Adds sufficient constraints to ensure that a R b where R depends on v: