Code

make Sized predicates coinductive#83647

Code

Closed

lcnr wants to merge 2 commits intorust-lang:masterrust-lang/rust:masterfrom

lcnr:sized-coinductionlcnr/rust:sized-coinductionCopy head branch name to clipboard

Commits

Commits on Mar 29, 2021

• make `Sized` coinductive

  lcnr

  committed
  bfe3670

  Copy full SHA for bfe3670

Commits on Apr 27, 2021

• add some more tests

  lcnr

  committed
  2409512

  Copy full SHA for 2409512