Mismatch between to_field_elements on curve points and AllocVar implementation

[paberr]

I've noticed that to_field_elements() will always return an affine representation of the point:

algebra/ec/src/models/short_weierstrass/group.rs

Line 633 in d9da220

Affine::from(*self).to_field_elements()

However, this is in contrast to how I can allocate a curve point. AllocVar is only implemented for ProjectiveVar and also requires the input representation to be as such:
https://github.com/arkworks-rs/r1cs-std/blob/61640099e6532d1fb26df290e3db6a38d3c32457/src/groups/curves/short_weierstrass/mod.rs#L232-L234

Thus, a simple circuit, which allocates a public ProjectiveVar input will fail to verify when populating the public inputs as follows:
Groth16::verify(&vk, &point.to_field_elements().unwrap(), &proof)