Use DefKind to give more item kind information during BindingObligation note #108295
Merged
bors merged 1 commit intorust-lang:masterfrom Feb 22, 2023
Merged
Use DefKind to give more item kind information during BindingObligation note #108295bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom