This error is should be generated in type inference.
This error is should be generated in type inference.