Skip to content

Move an owned receiver into the replace closure so const fns with contracts compile - #4985

Open
kasimte wants to merge 1 commit into
model-checking:mainfrom
kasimte:fix-const-owned-receiver
Open

Move an owned receiver into the replace closure so const fns with contracts compile#4985
kasimte wants to merge 1 commit into
model-checking:mainfrom
kasimte:fix-const-owned-receiver

Move an owned receiver into the replace closure so const fns with con…

0fbc87f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Auto Label
succeeded Oct 16, 2026 in 8s