I originally thought we could have an API where the world counter and a function were wrapped up in a type and eventually fed to _apply_in_world which would be understood by inference. But @jameson seemed to think this would be unsound in some way. So for now I kept things simple and didn’t add any inference for _apply_in_world. I’d still like to do it though, or better understand why it’s not possible. There’s a small amount of discussion of this on the PR as well.
3 Likes