Fixed #4567 (false negative: The class 'B' does not have a constructor.)