{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"//!"}]}
//! This pass enforces various "well-formedness constraints" on impls.
//! Logically, it is part of wfcheck -- but we do it early so that we