Module rustc_infer::infer::sub

source · [−]

Structs

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