You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Maybe we could implement the mutable and immutable result types by checking ismutable(value) and any(ismutable, derivs)?
It's not type-inferrable in the strict sense but perhaps constant propagation will get us most of the way there?