Module rustc_infer::infer::sub

Structs

Sub	Ensures a is made a subtype of b. Returns a on success.