Ensure type annotations exist for generated constraints to avoid reflection.