Skip to content

Auto merge of #3972 - rust-lang:eager_dyn, r=RalfJung #9133

Auto merge of #3972 - rust-lang:eager_dyn, r=RalfJung

Auto merge of #3972 - rust-lang:eager_dyn, r=RalfJung #9133