Should this also have tests where the type of the LHS is inferred?