Skip to content

privacy: Use common DefId visiting infrastructure for all privacy visitors#56878

Merged
bors merged 2 commits intorust-lang:masterfrom
petrochenkov:privdyn
Jan 1, 2019
Merged

privacy: Use common `DefId` visiting infrastructure for all privacy visitors#56878
bors merged 2 commits intorust-lang:masterfrom
petrochenkov:privdyn

Commits

Commits on Dec 31, 2018