Thank you for your report. Would it be reasonable to suggest replacing an assignment with a call to `do_nothing` if the return type is attached? (Unfortunately there is no good replacement yet for the case when the return type is detachable.)