Shouldn't this be `e1->implicitConvTo(t)`? (it works)

IMO the logic should be:
1. Is it `ptr + offset` or `offset + ptr` or `ptr - offset`
2. Does `ptr` convert to `t`

Am I missing any cases?