fn add_destructure_sign(ty: &mut Type, key: DestructureId)