{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//!"}]}
//! If a trait is always applicable, then it's sound to specialize on it. We
//!
//! check trait is always applicable in the same way as impls, except that step