assignable_type -> type