This was an implementation bug, type param annotations are now correctly reflected only on the symbol. They need to be merged with the type annots of the usage when doing inference though - todo for later
This was an implementation bug, type param annotations are now correctly reflected only on the symbol. They need to be merged with the type annots of the usage when doing inference though - todo for later