()
| 995 | } |
| 996 | |
| 997 | @Override |
| 998 | public WyilFile.Type.Method getType() { |
| 999 | // FIXME: This just feels wrong as we are throwing away other template |
| 1000 | // variables. The issue is that callable types do not declare template variables |
| 1001 | // as they are compiled away. |
| 1002 | return new WyilFile.Type.Method(project(getParameters()), project(getReturns())); |
| 1003 | } |
| 1004 | |
| 1005 | @SuppressWarnings("unchecked") |
| 1006 | @Override |
no test coverage detected