subtype_predicate: remove unnecessary probe#119107

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

lcnr:uwuwulcnr/rust:uwuwuCopy head branch name to clipboard