allow opaques to be defined by trait queries, again#113690

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

aliemjay:opaque-defined-by-traitaliemjay/rust:opaque-defined-by-traitCopy head branch name to clipboard