ptr_arg: honor `allow` attribute on arguments#5647

Merged

bors merged 1 commit intorust-lang:masterfrom ebroto:5644_allow_ptr_arg_in_arg_position

May 25, 2020

+41-3

Commits on May 25, 2020

ptr_arg: honor allow attr on arguments
ebroto
committed