I’ll try playing around with inferring Timestamp for such a parameter, but ultimately, there might always be a possible mismatch for the type we infer. I think we’d have to guide users to a syntax that we come up with for https://hibernate.atlassian.net/browse/HHH-15725. If we can finally agree on a name in https://github.com/hibernate/hibernate-orm/pull/5634#discussion_r1243496029 , then we can add that HQL construct and guide people to a definitive solution that doesn’t involve casting.