May be applied on metadata parameters with infer annotation (or just implicit metadata parameters -
they have infer strategy by default). Metadata parameter annotated as checked makes the implicit search
for that metadata parameter influence the decision about whether some metadata parameter matches real method or
param or not. Without checked annotation, when implicit search for metadata parameter fails, the macro engine
ignores that fact and error is only reported after macro is fully expanded.
May be applied on metadata parameters with infer annotation (or just implicit metadata parameters - they have infer strategy by default). Metadata parameter annotated as checked makes the implicit search for that metadata parameter influence the decision about whether some metadata parameter matches real method or param or not. Without checked annotation, when implicit search for metadata parameter fails, the macro engine ignores that fact and error is only reported after macro is fully expanded.