Arguments passed to constant parameters (i.e. parameters of annotations or parameter explicitly marked with const) must evaluate to some constant. We can only do this for specific types, however. Thus, at the declaration-site, we should already show an error if a constant parameter has a type, that is not supported by the partial evaluator.