Hot: btype-diagnostic