Follow hlint suggestion: use typeRep - #11679
Conversation
|
I don't think we can use |
No, not without |
|
MicroHs already supports |
91bc825 to
24c1ea0
Compare
Merge Queue Status
This pull request spent 1 hour 38 minutes 50 seconds in the queue, including 1 hour 28 minutes 16 seconds running CI. Required conditions to merge
ReasonThe merge conditions cannot be satisfied due to failing checks Failing checks: HintYou may have to fix your CI before adding the pull request to the queue again. |
|
@Mergifyio queue |
Merge Queue Status
This pull request spent 11 minutes 23 seconds in the queue, including 35 seconds running CI. Required conditions to merge
ReasonThe merge conditions cannot be satisfied due to failing checks Failing checks: HintYou may have to fix your CI before adding the pull request to the queue again. |
|
GHA's throwing network errors again. I'll restart it later. |
|
@Mergifyio queue |
Merge Queue Status
This pull request spent 1 hour 58 minutes 55 seconds in the queue, including 1 hour 47 minutes 11 seconds running CI. Required conditions to merge
|
See #9110. Discharges and no longer ignores HLint's "use typeRep" suggestion so that this will be suggested by our CI linting.
Avoids the use of
undefined.Note
The
Proxy aintestDescribedcould be dropped if we were to use-XRequiredTypeArgumentsbut I'll leave that for the furture. Was interesting to read about and try out this new language extension and see it in action in withshowTypefrom HIW, Vladislav Zavialov - Required Type Arguments.