pub fn negative_type_defs(name: &str) -> &'static [DefId]Expand description
Resolve a negative-type name (as written in std-trait-ensures.json) to its
resolved DefId set. Unknown names resolve to an empty set (the checker
then reports Unknown).