{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"//!"}]}
//! `impl2`. So this specialization is sound.
//! predicates of `impl1` are only `T: Sized`, which is also a predicate of
//!