Merge remote branch 'origin/pu/nitdoc-graph' into wip
[nit.git] / tests / sav / error_formal.sav
1 ./error_formal.nit:18,10--14: Type error: formal type T cannot have formal parameters.