{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//!"}]}
//! `impl1` are satisfied for some choice of lifetimes then we know that
//! that all the bounds of `impl2` are satisfied, and all of the bounds of
//! `impl1` applies for any choice of lifetimes.