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

Labels

None

Worked in

None

Feedback Requested

None

Feedback Requested By

None

backPortable

None

Community Help Wanted

None

Suitable for new contributors

None

Requires Release Note

None

Pull Request

None

backportDecision

None

backportReEvaluate

None

Components

Priority

Major
Configure