fn animate_with_discrete_fallback<T: Animate + Clone>( from: &T, to: &T, procedure: Procedure, ) -> Result<T, ()>