Remove unnecessary uses of uncheckedNN

Open noti0na1 opened this issue 6 months ago • 3 comments

Jun 10 '25 15:06 noti0na1

Wow, copilot is quite the nag!

Jun 10 '25 15:06 som-snytt

Should we extend #23327 to also warn for uncheckedNN? It seems it would just need to treat it the same way as nn, or am I missing something?

Jun 10 '25 17:06 olhotak

Should we extend #23327 to also warn for uncheckedNN? It seems it would just need to treat it the same way as nn, or am I missing something?

It's hard to do that because uncheckedNN is defined and only used in dotty.

Jun 10 '25 17:06 noti0na1