Do not use effective_visibilities query for Adt types of a local trait while proving a where-clause#145642

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

xizheyin:145611xizheyin/rust:145611Copy head branch name to clipboard