{"ast_node_type":"impl","tokens":[{"end":97,"kind":"keyword","start":0,"text":"///"}]}
/// Checks "defining uses" of opaque `impl Trait` types to ensure that they meet the restrictions
/// laid for "higher-order pattern unification".