Skip to content

Auto merge of #3327 - RalfJung:tree-interior_mut_reborrow, r=RalfJung #6677

Auto merge of #3327 - RalfJung:tree-interior_mut_reborrow, r=RalfJung

Auto merge of #3327 - RalfJung:tree-interior_mut_reborrow, r=RalfJung #6677