Sometimes, methods have different purity than corresponding functions #2754
Labels
C-cleanup
Category: PRs that clean code up or issues documenting cleanup.
Milestone
We ran into a problem where
option::get
is pure, but if you writefoo.get()
, it's considered impure, because the iface declaration doesn't mark anything "pure". There's a whole bunch of inconsistencies like this inoption
. More generally, a really simple form of purity inference would address this without having to do a bunch of tedious work.The text was updated successfully, but these errors were encountered: