You must log in or register to comment.
slash inference costs by doing a bunch of useless inferences in the hope that the one the user actually wanted happened to be one of them.
It cannot be more efficient than just waiting for the input and inferring once based on that.