@ParamDef ambiguity when set as type integer

I got a quarkus project with a class having the following filter:

@FilterDef(name = "obj.week", parameters = @ParamDef(name = "week", type = "integer"))
@Filter(name = "obj.week", condition = "week=:week")

When I build the project, it seems to work randomly and sometimes I receive this error:

java.lang.IllegalArgumentException: Undefined filter parameter [week]

I made it print some more details about my filter and it looks like hibernate still gets it as defined as string:

filterName: obj.week
name: week
value: 1
filter def type: string
value type: class java.lang.Integer

I was able to make it work setting the paramdef as ‘int’, but sometimes even ‘int’ does not work.

Is this a known issue?
Also, is there an official list of paramDef types?

Please create an issue in the issue tracker(https://hibernate.atlassian.net) with a test case(hibernate-test-case-templates/JPAUnitTestCase.java at main · hibernate/hibernate-test-case-templates · GitHub) that reproduces the issue. The list of types can be found in the documentation: Hibernate ORM 5.5.7.Final User Guide