Catch a bad placeholder type error for statics in externs#83734
Merged
bors merged 1 commit intorust-lang:masterfrom Apr 6, 2021
Merged
Catch a bad placeholder type error for statics in `extern`s#83734bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
