We're updating the issue view to help you get more done. 

The annotation processor should check parameter constraints

Description

The AP should have support for method parameter constraints. We should definitely check the parameter types as we already do for any other constraints. Additionally we might check that preconditions are not strengthened in sub-types (see HV-421), though I'd regard this as add-on.

Environment

None

Status

Assignee

Unassigned

Reporter

Gunnar Morling

Components

Priority

Major