Diagnostic about nested declarations with reified TP