Open
Description
Profiles in the compatibility rules currently do not track the attributes on parameters.
If they did this, it could statically check for things like
- ValidateSet parameters
- Enum-typed parameters (this is already possible to some extent)
- Mandatory parameters
- NotNull parameters
To do this, profiles should record attributes on each parameter. In the case of something like ValidateSet, it should track all the listed possible values for static checking later.