Skip to content

Implement Termination for Option<()>#61360

Closed
GuillaumeGomez wants to merge 1 commit intorust-lang:masterfrom GuillaumeGomez:impl-termination-option