sepcomp: fix potential tagging issue in `is_same_type_test`
[nit.git] / tests / sav / error_constraint.res
1 error_constraint.nit:20,7: Error: a class `A` is already defined at line 18.