Error: cannot translate a refinement, only base classes
1 error
