--no-color -W test_advice_repeated_types.nit