rustc_metadata: Filter encoded data more aggressively using DefKind#109765
Merged
bors merged 2 commits intorust-lang:masterfrom Apr 11, 2023
Merged
rustc_metadata: Filter encoded data more aggressively using DefKind#109765bors merged 2 commits intorust-lang:masterfrom
DefKind#109765bors merged 2 commits intorust-lang:masterfrom