alt/base_deprecated_alt1.nit:38,12--17: Error: method redefinition cannot be deprecated.