New: btype-diagnostic