Code

Make Sized coinductive, again#100386

Code

Merged

bors merged 4 commits intorust-lang:masterrust-lang/rust:masterfrom compiler-errors:sized-coinductive-reduxcompiler-errors/rust:sized-coinductive-reduxCopy head branch name to clipboardNov 11, 2022

+118-70

Commits

Commits on Nov 10, 2022

• make Sized coinductive

  

  lcnr

  authored and

  compiler-errors

  committed
  0f2e45b

• add some more tests

  

  lcnr

  authored and

  compiler-errors

  committed
  8ec6c84

• bless tests

  compiler-errors

  committed
  43ad19b

• More nits

  compiler-errors

  committed
  fea8d0e