[Issue 10233] New: wrong idl intersection