Parameter bounds #18
Description
Add missing features for parameter bounds:
- Check: Referenced parameter must be
Int/Float - Check: Referenced parameter must be
const(only if type is correct) - Check: Right operand can be evaluated by partial evaluator to
IntConstant/FloatConstant - Check: Arguments match the bounds (only if they can be partially evaluated)
- Check: Default values must match the bounds
Metadata
Metadata
Assignees
Type
Projects
Status