fn remove_readonly(ty: &mut Type)