forgotten specialize_and_check corner case