Diagnose nested types