Make Sized coinductive, again
#100386
Merged
Sized coinductive, again
#100386
Sized coinductive, again
#100386