Module rustc_infer::infer::sub

Structs

Sub

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