typing: mark variable dirty on type_adaptation