update type info on type assertion