This is new syntax, but it's old behavour: it's the behaviour of eg educe(Clone(bound)) in 0.4.x, as well as the behaviour of std. So this helps with migreation.
I'm not committed to this syntax, but it seems a reasonable choice out of the available options which don't already mean something in 0.5.x.
IMPORTANT: this branch is on top of the branch for #19. That MR should be reviewed and land first, before tackling this one. The new feature is just the top two commits here.
This is new syntax, but it's old behavour: it's the behaviour of eg
educe(Clone(bound))in 0.4.x, as well as the behaviour ofstd. So this helps with migreation.I'm not committed to this syntax, but it seems a reasonable choice out of the available options which don't already mean something in 0.5.x.
IMPORTANT: this branch is on top of the branch for #19. That MR should be reviewed and land first, before tackling this one. The new feature is just the top two commits here.