fix #5319. predictably, type intersection.