Bug 861857: TI: Fix testing the intersection between two types, r=jandem