also propagate types on method calls