I also think so. And by replacing with `e1->implicitConvTo(t)`, above two checks `If the to/from mod bits are the same ...` and `Ask if the only reason the pointer conversion ...` will become unnecessary.