@WG-prioritization/alerts issue #78149 has been requested for prioritization.
Looks like it will be a bit tricky to fix. I'm thinking
P-medium or maybe
P-high. Would like to hear from others though!
i think p-medium should be sufficient for this
P-medium for now
Issue #78149's prioritization request has been removed.
I agree with
P-medium, being this an issue concerning the linter that is slightly confused. nikomatsakis give interesting additional details. What was your reasoning on this issue @Camelid and @DPC ? (trying to compare and learn :smile: )
@apiraino It's a lint, so it doesn't stop your code from compiling (and it's warn-by-default). It's not a huge deal to fix this and the scope is small. (Of course, we should still fix it!)
awesome, thanks !
let me try to remember why i said p-medium :stuck_out_tongue:
i think mainly its because it's not an easy fix and something that would take a while to find a good solution for it