Module rustc_infer::infer::relate::sub

Structs

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