Code

Trait upcasting coercion (part 3)#88135

Code

Merged

bors merged 4 commits intorust-lang:masterrust-lang/rust:masterfrom crlf0710:trait_upcasting_part_3crlf0710/rust:trait_upcasting_part_3Copy head branch name to clipboardAug 21, 2021

+324-239

Commits

Commits on Aug 18, 2021

• Properly generate multiple candidates for trait upcasting coercion.

  crlf0710

  committed
  1e60502

  Copy full SHA for 1e60502

• Fold vtable_trait_upcasting_coercion_new_vptr_slot logic into obligation processing.

  crlf0710

  committed
  6b1c52f

  Copy full SHA for 6b1c52f

• Add a new test case to verify behavior.

  crlf0710

  committed
  e1e0989

  Copy full SHA for e1e0989

Commits on Aug 19, 2021

• Add assertion to ensure the query doesn't get called before type infererence is done.

  crlf0710

  committed
  c22dfab

  Copy full SHA for c22dfab