Fixes new Coq master warning deprecated-hint-without-locality (https://github.com/coq/coq/pull/13188).