{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"if"}]}
            if !opaque_types_defined_by.contains(&self.opaque_def_id) {
            // Don't try to check items that cannot possibly constrain the type.
                return ControlFlow::Continue(());