Module rustc_infer::infer::relate::sub

source ·

Structs

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