Module rustc_mir::borrow_check::type_check::relate_tys[−][src]

Structs

NllTypeRelatingDelegate

Functions

relate_types

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