{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//!"}]}
//! If `impl1` specializes `impl2` then `impl1` is always applicable if we know
//!
//! that all the bounds of `impl2` are satisfied, and all of the bounds of