allow inlining of call1 sites, where the types may not match exactly