Combine types. Output: *pt merged type, if *pt is not NULL *pe1 rewritten e1 *pe2 rewritten e2
true success false failed
See Implementation
Combine types. Output: *pt merged type, if *pt is not NULL *pe1 rewritten e1 *pe2 rewritten e2